consequent

(=>     (and         (instance ?C CavalryUnit)         (instance ?B Battle)         (agent ?B ?C))     (exists (?P ?V ?T)         (and             (attribute ?P Soldier)             (member ?P ?C)             (instance ?T Transportation)             (agent ?T ?P)             (instance ?V Vehicle)             (patient ?T ?V)             (during ?T ?B))))	Mid-level-ontology.kif 5562-5575	If an agent is an instance of cavalry unit and a process is an instance of battle and agent is an agent of process then there exist a self connected object an entity and and process so that soldier is an attribute of self connected object and self connected object is a member of agent and process is an instance of transportation and self connected object is an agent of process and entity is an instance of vehicle and entity is a patient of process and process takes place during process
(=>     (attribute ?OFFICER CommissionedOfficerRank)     (exists (?MANAGE ?PATIENT)         (and             (instance ?MANAGE Managing)             (agent ?MANAGE ?OFFICER)             (patient ?MANAGE ?PATIENT)             (or                 (instance ?PATIENT MilitaryOrganization)                 (attribute ?PATIENT Soldier)))))	Military.kif 225-234	If commissioned officer rank is an attribute of an agent then there exist a process and an object so that process is an instance of managing and agent is an agent of process and object is a patient of process and object is an instance of military organization or soldier is an attribute of object
(=>     (holdsDuring ?T1         (attribute ?H Veteran))     (exists (?T2 ?P)         (and             (temporalPart ?T2                 (PastFn                     (WhenFn ?T1)))             (instance ?P Soldier)             (holdsDuring ?T2                 (attribute ?H ?P))             (not                 (holdsDuring ?T1                     (attribute ?H ?P))))))	Mid-level-ontology.kif 15137-15149	If veteran is an attribute of an object holds during a time position then there exist time position and an attribute so that time position is a part of before the time of existence of time position and attribute is an instance of soldier and attribute is an attribute of object holds during time position and attribute is an attribute of object doesn't hold during time position
(=>     (instance ?OFFICER MilitaryOfficer)     (exists (?MANAGE ?PATIENT)         (and             (instance ?MANAGE Managing)             (agent ?MANAGE ?OFFICER)             (patient ?MANAGE ?PATIENT)             (or                 (instance ?PATIENT MilitaryOrganization)                 (instance ?PATIENT Soldier)))))	Mid-level-ontology.kif 12398-12407	If an agent is an instance of military officer then there exist a process and an entity so that process is an instance of managing and agent is an agent of process and entity is a patient of process and entity is an instance of military organization or entity is an instance of soldier

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

Sigma web home      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners