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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JointForcesAirCommander

 Sigma KEE - JointForcesAirCommander
JointForcesAirCommander(联合部队空军司令)

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 358-366
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 356-356 联合部队空军司令 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 357-357 联合部队空军司令 是 军事指挥官 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31687-31687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31686-31686
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 688-688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31685-31685

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 371-376


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners