consequent

(=>     (and         (locatedAtTime ?COLLECTION ?TIME ?PLACE)         (memberAtTime ?OBJ ?COLLECTION ?TIME))     (locatedAtTime ?OBJ ?TIME ?PLACE))	Mid-level-ontology.kif 24339-24343	If a collection located at time a time position for an object and a self connected object is a member of the collection during the time position, then the self connected object located at time the time position for the object
(=>     (and         (locatedAtTime ?OBJ ?TIME ?PLACE)         (geographicSubregion ?PLACE ?REGION))     (locatedAtTime ?OBJ ?TIME ?REGION))	Mid-level-ontology.kif 25019-25023	If an object located at time a time position for a geographic area and the geographic area is a geographic subregion of another geographic area, then the object located at time the time position for the other geographic area
(=>     (and         (playsRoleInEvent ?OBJ ?ROLE ?EVENT)         (time ?EVENT ?TIME)         (eventLocated ?EVENT ?PLACE))     (locatedAtTime ?OBJ ?TIME ?PLACE))	Mid-level-ontology.kif 24944-24949	If an object plays role in event a case role for a process and the process exists during a time position and the process is located at another object, then the object located at time the time position for the other object
(=>     (dressCode ?CODE ?AGENT)     (modalAttribute         (exists (?OUTFIT ?T)             (and                 (instance ?OUTFIT Outfit)                 (subjectiveAttribute ?OUTFIT ?CODE ?AGENT)                 (holdsDuring ?T                     (forall (?CUST ?ITEM)                         (and                             (customer ?CUST ?AGENT)                             (locatedAtTime ?CUST ?T ?AGENT)                             (member ?ITEM ?OUTFIT)                             (wears ?CUST ?ITEM)))))) Obligation))	Dining.kif 492-505	If an agent requires customers to wear an ambience, then the statement there exist an entity and another entity such that the entity is an instance of outfit and the agent believes the entity is the ambience and for all a third entity and a fourth entity the agent is a customer of the third entity and the third entity located at time the other entity for the agent and the fourth entity is a member of the entity and the third entity wears the fourth entity holds during the other entity has the modal force of obligation
(=>     (instance ?MINE LandMine)     (hasPurpose ?MINE         (exists (?L ?E ?M ?O)             (and                 (instance ?L LandArea)                 (located ?MINE ?L)                 (instance ?E Explosion)                 (instrument ?E ?MINE)                 (locatedAtTime ?MINE                     (WhenFn ?E) ?L)                 (causes ?M ?E)                 (instance ?M Motion)                 (eventLocated ?M ?L)                 (origin ?M ?O)                 (orientation ?O ?MINE On)                 (or                     (instance ?O Human)                     (instance ?O LandVehicle))))))	Mid-level-ontology.kif 19399-19417	If a physical is an instance of land mine, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of land area and the physical is located at the entity and the other entity is an instance of explosion and the physical is an instrument for the other entity and the physical located at time the time of existence of the other entity for the entity and the third entity causes the other entity and the third entity is an instance of motion and the third entity is located at the entity and the third entity originates at the fourth entity and the fourth entity is on to the physical and the fourth entity is an instance of human or the fourth entity is an instance of land vehicle
(=>     (instance ?S AirportStagingArea)     (hasPurpose ?S         (exists (?B ?C ?D ?T)             (and                 (instance ?B Boarding)                 (instance ?C Collection)                 (instrument ?B ?C)                 (member ?D ?C)                 (instance ?D Device)                 (locatedAtTime ?C ?T ?S)                 (during ?T                     (WhenFn ?B))))))	Transportation.kif 1318-1329	If a physical is an instance of airport staging area, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of boarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and the other entity located at time the fourth entity for the physical and the fourth entity takes place during the time of existence of the entity
(=>     (instance ?S AirportStagingArea)     (hasPurpose ?S         (exists (?DB ?C ?D ?T)             (and                 (instance ?DB Deboarding)                 (instance ?C Collection)                 (instrument ?DB ?C)                 (member ?D ?C)                 (instance ?D Device)                 (locatedAtTime ?C ?T ?S)                 (during ?T                     (WhenFn ?DB))))))	Transportation.kif 1331-1342	If a physical is an instance of airport staging area, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of deboarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and the other entity located at time the fourth entity for the physical and the fourth entity takes place during the time of existence of the entity
(=>     (instance ?TERM TransitTerminal)     (hasPurpose ?TERM         (exists (?T ?P ?TIME)             (and                 (instance ?T Translocation)                 (locatedAtTime ?P ?TIME ?TERM)                 (or                     (passenger ?T ?P)                     (conveyance ?T ?P))                 (or                     (equal ?TIME                         (BeginFn                             (WhenFn ?T)))                     (equal ?TIME                         (EndFn                             (WhenFn ?T))))))))	Transportation.kif 3652-3664	If a physical is an instance of transit terminal, then the physical has the purpose there exist an entity, another entity and the entityIME such that the entity is an instance of translocation and the other entity located at time the entityIME for the physical and the other entity is a passenger in the entity or the other entity is a conveyance during the entity and equal the entityIME and the beginning of the time of existence of the entity or equal the entityIME and the end of the time of existence of the entity
(=>     (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)     (locatedAtTime ?OBJ ?TIME ?PLACE))	Justice.kif 47-49	If an object is observed at time in place an agent for a time position with another object, then the object located at time the time position for the other object

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