consequent

(=>     (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
(=>     (and         (trafficableForTrafficType ?PLACE ?TYPE)         (subclass ?TYPE TransportationDevice)         (instance ?MOVER ?TYPE))     (capableAtLocation Transportation instrument ?MOVER ?PLACE))	Transportation.kif 3684-3689	If X is a trafficable for traffic type of Y, X is a subclass of transportation device, and Z is an instance of X, then transportation capable at location instrument for Z with Y
(=>     (and         (trafficableForTrafficType ?place ?type)         (subclass ?type AutonomousAgent)         (instance ?mover ?type))     (capableAtLocation Translocation agent ?mover ?place))	Transportation.kif 3691-3696	If X is a trafficable for traffic type of Y, X is a subclass of agent, and Z is an instance of X, then translocation capable at location agent for Z with Y
(=>     (and         (subclass ?TYPE Translocation)         (instance ?EVENT ?TYPE)         (eventLocated ?EVENT ?REGION)         (instance ?ROLE CaseRole)         (instance ?OBJECT Object)         (instance ?REGION GeographicArea)         (capability ?TYPE ?ROLE ?OBJECT))     (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 3766-3775	If All of the following hold: (1) X is a subclass of translocation (2) Y is an instance of X (3) Y is located at Z (4) W is an instance of case role (5) V is an instance of object (6) Z is an instance of geographic area (7) V is capable of doing X as a W, then X capable at location W for V with Z

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