(=>
(instance ?F Fighter)
(hasPurpose ?F
(exists (?A ?MA)
(and
(instance ?A Attack)
(instrument ?A ?F)
(patient ?A ?MA)
(instance ?MA MilitaryAircraft))))) |
Military.kif 250-258 |
If X is an instance of fighter, then X has the purpose there exist Y, Z such that Y is an instance of attack, X is an instrument for Y, Z is a patient of Y, and Z is an instance of military aircraft |
(=>
(instance ?W AerialWarfare)
(hasPurpose ?W
(exists (?A ?I)
(and
(instance ?A Attack)
(instrument ?A ?I)
(or
(instance ?I MilitaryAircraft)
(instance ?I Missile)))))) |
Military.kif 401-410 |
If X is an instance of aerial warfare, then X has the purpose there exist Y, Z such that Y is an instance of attack, Z is an instrument for Y, and Z is an instance of military aircraft or Z is an instance of missile |
(=>
(instance ?A MilitaryAirport)
(hasPurpose ?A
(exists (?M)
(and
(instance ?M MilitaryAircraft)
(or
(capableAtLocation TakingOff origin ?M ?A)
(capableAtLocation Landing destination ?M ?A)))))) |
MilitaryProcesses.kif 2814-2822 |
If X is an instance of military airport, then X has the purpose there exists Y such that Y is an instance of military aircraft and taking off capable at location origin for Y with X or landing capable at location destination for Y with X |
