(=>     (and         (viewType ?ROOM ?OBJ)         (instance ?ROOM Room)         (orientation ?OBJ ?ROOM Outside))     (modalAttribute         (exists (?HUMAN ?SEE ?INST)             (and                 (instance ?HUMAN Human)                 (located ?HUMAN ?ROOM)                 (instance ?SEE Seeing)                 (instance ?INST ?OBJ)                 (patient ?SEE ?INST)                 (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 924-937	If a person in an object can see a kind of physical and the object is an instance of room and a kind of physical is outside to the object, then the statement there exist an entity, another entity and a third entity such that the entity is an instance of human and the entity is located at the object and the other entity is an instance of seeing and the third entity is an instance of the kind of physical and the third entity is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
(=>     (and         (visibilityInMeteorology ?Area ?Time ?Distance)         (instance ?Time DayTime)         (instance ?Observe Looking)         (instance ?B Object)         (color ?B Black)         (agent ?Observe ?A)         (patient ?Observe ?B)         (orientation ?A ?B Horizontal)         (eventLocated ?Observe ?Area)         (during             (WhenFn ?Observe) ?Time)         (instance ?B Object))     (and         (distance ?A ?B ?D2)         (greaterThan ?Distance ?D2)))	Weather.kif 1234-1250	If the visibility at a region during a time interval is a length measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object, then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure
(=>     (and         (visibilityInMeteorology ?Area ?Time ?Distance)         (instance ?Time NightTime)         (instance ?Observe Looking)         (instance ?B Region)         (attribute ?B Illuminated)         (measure ?B             (MeasureFn 1000 Candela))         (agent ?Observe ?A)         (patient ?Observe ?B)         (orientation ?A ?B Horizontal)         (eventLocated ?Observe ?Area)         (during             (WhenFn ?Observe) ?Time)         (instance ?B Object))     (and         (distance ?A ?B ?D2)         (greaterThan ?Distance ?D2)))	Weather.kif 1252-1269	If the visibility at a region during a time interval is a length measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object, then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure
(=>     (orientation ?O1 ?O2 Downstream)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O2)             (beforeOnPath ?O2 ?O1 ?P ?T)             (destination ?T ?O1))))	Mid-level-ontology.kif 28035-28044	If an object is downstream to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the other object before the object on path the fourth object during the transfer and the transfer ends up at the object
(=>     (orientation ?O1 ?O2 Downwind)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O2)             (beforeOnPath ?O2 ?O1 ?P ?T)             (destination ?T ?O1))))	Mid-level-ontology.kif 28057-28066	If an object is downwind to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the other object before the object on path the fourth object during the transfer and the transfer ends up at the object
(=>     (orientation ?O1 ?O2 Upstream)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O1)             (beforeOnPath ?O1 ?O2 ?P ?T)             (destination ?T ?O2))))	Mid-level-ontology.kif 28024-28033	If an object is upstream to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the object and the object before the other object on path the fourth object during the transfer and the transfer ends up at the other object
(=>     (orientation ?O1 ?O2 Upwind)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O1)             (beforeOnPath ?O1 ?O2 ?P ?T)             (destination ?T ?O2))))	Mid-level-ontology.kif 28046-28055	If an object is upwind to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the object and the object before the other object on path the fourth object during the transfer and the transfer ends up at the other object
(=>     (orientation ?OBJ ?REGION Inside)     (instance ?REGION Region))	Mid-level-ontology.kif 8849-8851	If an object is inside to another object, then the other object is an instance of region
(=>     (orientation ?OBJ ?REGION Outside)     (instance ?REGION Region))	Mid-level-ontology.kif 8845-8847	If an object is outside to another object, then the other object is an instance of region
(=>     (orientation ?OBJ1 ?OBJ2 Above)     (not         (connected ?OBJ1 ?OBJ2)))	Merge.kif 15878-15881	If an object is above to another object, then the object is not connected to the other object
(=>     (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 17073-17084	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 Near)     (not         (connected ?OBJ1 ?OBJ2)))	Merge.kif 15931-15934	If an object is near to another object, then the object is not connected to the other object
(=>     (orientation ?OBJ1 ?OBJ2 Near)     (orientation ?OBJ2 ?OBJ1 Near))	Merge.kif 15936-15938	If an object is near to another object, then the other object is near to the object
(=>     (orientation ?OBJ1 ?OBJ2 On)     (connected ?OBJ1 ?OBJ2))	Merge.kif 15945-15947	If an object is on to another object, then the object is connected to the other object
(=>     (orientation ?OBJ1 ?OBJ2 On)     (located ?OBJ1 ?OBJ2))	Merge.kif 15949-15951	If an object is on to another object, then the object is located at the other object
(=>     (orientation ?OBJ1 ?OBJ2 On)     (not         (orientation ?OBJ2 ?OBJ1 On)))	Merge.kif 15953-15956	If an object is on to another object, then the other object is not on to the object
(=>     (orientation ?OBJ1 ?OBJ2 Surrounded)     (forall (?X)         (=>             (side ?X ?OBJ1)             (meetsSpatially ?X ?OBJ2))))	Mid-level-ontology.kif 24060-24065	If a self connected object is surrounded to an object, then for all another self connected object if a side of the self connected object is the other self connected object, then the other self connected object meets the 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 17056-17067	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
(=>     (orientation ?ONE ?TWO Adjacent)     (orientation ?TWO ?ONE Adjacent))	Geography.kif 715-717	If an object is adjacent to another object, then the other object is adjacent to the object
(=>     (orientation ?ONE ?TWO Near)     (orientation ?TWO ?ONE Near))	Geography.kif 719-721	If an object is near to another object, then the other object is near to the object

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners