Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TakingOff
TakingOff(起飛)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17237-17238
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6913-6913
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. pictureList.kif 8036-8036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17236-17236 子類 起飛 and 易位

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2478-2478 範圍 中止發射 and 起飛
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56857-56857
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56856-56856
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56855-56855

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2477-2477 域 中止發射, 2 and 起飛

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1398-1407
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1409-1418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17240-17247