TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16656-16657
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6914-6914
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.	pictureList.kif 8036-8036
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8037-8037
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16655-16655	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 2477-2477	The range of aborted launch is an instance of taking off
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56836-56836
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56835-56835
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56834-56834

appearance as argument number 3

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

MilitaryProcesses.kif 2476-2476

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 16659-16666	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 2 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.

MilitaryDevices.kif 963-966