(=>     (instance ?X Patio)     (and         (modalAttribute             (attribute ?X Paved) Likely)         (exists (?BLDG)             (and                 (instance ?BLDG Building)                 (orientation ?X ?BLDG Adjacent)                 (located ?X Outdoors)))))	Mid-level-ontology.kif 26639-26648	If an object is an instance of patio, then the statement paved is an attribute of the object has the modal force of likely and there exists another object such that the other object is an instance of building and the object is adjacent to the other object and the object is located at outdoors
(=>     (orientation ?OBJ1 ?OBJ2 Downstairs)     (exists (?LEVEL1 ?LEVEL2 ?BUILDING)         (and             (instance ?LEVEL1 BuildingLevel)             (instance ?LEVEL2 BuildingLevel)             (instance ?BUILDING Building)             (part ?LEVEL1 ?BUILDING)             (part ?LEVEL2 ?BUILDING)             (located ?OBJ1 ?LEVEL1)             (located ?OBJ2 ?LEVEL2)             (orientation ?LEVEL1 ?LEVEL2 Below))))	Mid-level-ontology.kif 19237-19248	If an object is downstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is below to the fourth object
(=>     (orientation ?OBJ1 ?OBJ2 Upstairs)     (exists (?LEVEL1 ?LEVEL2 ?BUILDING)         (and             (instance ?LEVEL1 BuildingLevel)             (instance ?LEVEL2 BuildingLevel)             (instance ?BUILDING Building)             (part ?LEVEL1 ?BUILDING)             (part ?LEVEL2 ?BUILDING)             (located ?OBJ1 ?LEVEL1)             (located ?OBJ2 ?LEVEL2)             (orientation ?LEVEL1 ?LEVEL2 Above))))	Mid-level-ontology.kif 19220-19231	If an object is upstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is above to the fourth object

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