(=>
(and
(attribute ?OFFICER ?COR)
(instance ?COR CommissionedOfficerRank))
(exists (?MANAGE ?PATIENT)
(and
(instance ?MANAGE Managing)
(agent ?MANAGE ?OFFICER)
(patient ?MANAGE ?PATIENT)
(or
(instance ?PATIENT MilitaryOrganization)
(attribute ?PATIENT Soldier))))) |
Military.kif 286-297 |
|
(=>
(attribute ?OFFICER MilitaryOfficer)
(exists (?MANAGE ?PATIENT)
(and
(instance ?MANAGE Managing)
(agent ?MANAGE ?OFFICER)
(patient ?MANAGE ?PATIENT)
(or
(instance ?PATIENT MilitaryOrganization)
(attribute ?PATIENT Soldier))))) |
Mid-level-ontology.kif 19294-19303 |
|
(=>
(attribute ?X BusinessExecutive)
(exists (?BUSINESS ?MANAGE)
(and
(instance ?MANAGE Managing)
(instance ?BUSINESS Organization)
(patient ?MANAGE ?BUSINESS)
(agent ?MANAGE ?X)))) |
Mid-level-ontology.kif 22475-22482 |
|
(=>
(instance ?BOARD OrganizationalBoard)
(exists (?ORG ?MANAGE)
(and
(subOrganization ?BOARD ?ORG)
(instance ?MANAGE Managing)
(agent ?MANAGE ?BOARD)
(patient ?MANAGE ?ORG)))) |
Mid-level-ontology.kif 8730-8737 |
|
(=>
(instance ?PUB ChairmanPublication)
(exists (?MANAGING ?H)
(and
(instance ?MANAGING Managing)
(attribute ?H ChairmanJCS)
(agent ?MANAGING ?H)
(patient ?MANAGING ?PUB)))) |
MilitaryProcesses.kif 1034-1041 |
|
(=>
(instance ?PUB JointPublication)
(exists (?MANAGING ?H)
(and
(instance ?MANAGING Managing)
(attribute ?H ChairmanJCS)
(agent ?MANAGING ?H)
(patient ?MANAGING ?PUB)))) |
MilitaryProcesses.kif 930-937 |
|
(=>
(managedBy ?OBJ ?AGENT)
(exists (?AGENT2 ?MAN)
(and
(possesses ?AGENT2 ?OBJ)
(instance ?MAN Managing)
(patient ?MAN ?OBJ)
(agent ?MAN ?AGENT)))) |
Hotel.kif 648-655 |
|
(=>
(produced ?R ?A)
(exists (?M ?P)
(and
(instance ?M Managing)
(agent ?M ?A)
(patient ?M ?P)
(instance ?P Process)
(result ?P ?R)))) |
Mid-level-ontology.kif 20983-20991 |
|