<На страницу назад | На страницу вперед>
А.5.2 Семантические категории базовой теории ситуаций
В данном разделе вводятся и характеризуются семантические категории базовой
теории ситуаций.
(define-relation infon (?x))
(define-relation situation (?x))
(define-relation UOB (?x))
(define-relation COE (?x))
(define-relation process (?x))
(define-relation interval (?x))
(define-relation polarity)
Единичная аксиома выражает, что все базовые семантические категории являются непересекающимися; например, ни один индивид не является инфоном, функцией или отношением.
(forall (?x ?y)
(=> (and (or (= ?x individual) (= ?x infon) (= ?x relation) (= ?x situation)
(= ?x UOB) (= ?x COE) (= ?x process) (= ?x polarity))
(or (= ?y individual) (= ?y infon) (= ?y relation) (= ?y situation)
(= ?y UOB) (= ?y COE) (= ?y process) (= ?y polarity))
(=/ ?x ?y))
(forall ?z (not (and (?x ?z) (?y ?z))))))