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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryForce

Sigma KEE - MilitaryForce
MilitaryForce(军事力量)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3729-3730
No TPTP formula. May not be expressible in strict first order. Merge.kif 16728-16731
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7334-7334
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7335-7335
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7336-7336
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7337-7337
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7338-7338
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7339-7339
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7340-7340
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7341-7341
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6701-6701
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7342-7342
No TPTP formula. May not be expressible in strict first order. Merge.kif 16727-16727 军事力量政治机构subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 792-792 两栖侦察部队军事力量subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2340-2340 民政军事力量subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16737-16737 军事组织军事力量subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16743-16743 辅助的军事组织军事力量subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37625-37625
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37624-37624
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37623-37623

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 285-296
No TPTP formula. May not be expressible in strict first order. Merge.kif 16733-16735

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1960-1975
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1582-1604
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 321-326
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1357-1373
No TPTP formula. May not be expressible in strict first order. Military.kif 197-202
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1514-1519
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1663-1673


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