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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryOfficer

 Sigma KEE - MilitaryOfficer
MilitaryOfficer(军官)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19000-19002
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18999-18999 军官 是 政府立场 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18998-18998 军官 是 士兵 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19022-19022 上将 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19043-19043 队长 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19048-19048 陆军上校 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19057-19057 下士 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19039-19039 陆军中尉 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19026-19026 重大的 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19015-19015 军事将军 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 747-747 SecurityOfficer 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19053-19053 军士 是 军官 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37667-37667
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37666-37666
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37665-37665

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19004-19013


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