TakingOff - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18805-18806
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6912-6912
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8033-8033
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8034-8034
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8035-8035
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18804-18804	Taking off is a subclass of translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2512-2512	The range of aborted launch is an instance of taking off
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56890-56890	The range of aborted launch is an instance of taking off
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56889-56889	The range of aborted launch is an instance of taking off
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56888-56888	The range of aborted launch is an instance of taking off

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

MilitaryProcesses.kif 2511-2511

The number 2 argument of aborted launch is an instance of taking off

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1398-1407	If an entity is an instance of absolute dud and a process is an instance of taking off and the entity is a patient of the process, then there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1409-1418	If a process is an instance of taking off and an entity is a patient of the process and there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process, then the entity is an instance of absolute dud
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18808-18815	If a process is an instance of taking off, then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the beginning of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2773-2781	If a physical is an instance of military airport, then the physical has the purpose there exists an entity such that the entity is an instance of military aircraft and taking off capable at location origin for the entity with the physical or landing capable at location destination for the entity with the physical
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2639-2653	If a physical is an instance of aircraft carrier, then the physical has the purpose there exist an entity, another entity and the physicalLASS such that the entity is an instance of aircraft and the entity is a patient of the other entity and the other entity is an instance of the physicalLASS and the physical is capable of doing the physicalLASS as a origin and the physicalLASS is a subclass of taking off or the physical is capable of doing the physicalLASS as a destination and the physicalLASS is a subclass of landing
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 963-966	If an object is an instance of ground launch missile, then the object is not capable of doing taking off as a patient