antecedent

(=>     (attribute ?ROOM OpenLayout)     (and         (instance ?ROOM Room)         (exists (?R1 ?R2 ?H)             (and                 (instance ?R1 Region)                 (instance ?R2 Region)                 (located ?R1 ?ROOM)                 (located ?R2 ?ROOM)                 (not                     (equal ?R1 ?R2))                 (orientation ?R1 ?R2 Adjacent)                 (exists (?P1 ?P2)                     (and                         (instance ?P1 Process)                         (instance ?P2 Process)                         (hasPurpose ?R1 ?P1)                         (hasPurpose ?R2 ?P2)))                 (=>                     (and                         (instance ?H AutonomousAgent)                         (located ?H ?R2))                     (and                         (capability Seeing agent ?H)                         (capability Seeing patient ?R1)))))))

Dining.kif 956-980

If open layout is an attribute of X, then X is an instance of room and All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of region (3) Z is an instance of region (4) Y is located at X (5) Z is located at X (6) equal Y (7) Z (8) Y is adjacent to Z (9) there exist V (10) U such that V is an instance of process (11) U is an instance of process (12) Y has the purpose V (13) Z has the purpose U (14) W is an instance of agent (15) W is located at ZW is capable of doing seeing as a agent (16) Y is capable of doing seeing as a patient

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners