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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subordinateInOrganization

 Sigma KEE - subordinateInOrganization
subordinateInOrganization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22730-22732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22726-22726 从属于组织 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22727-22727 从属于组织 的 2 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22728-22728 从属于组织 的 3 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22725-22725 从属于组织 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2391-2391
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2390-2390
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2389-2389
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55752-55752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55751-55751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55750-55750

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22734-22736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22738-22740

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22752-22760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20910-20919
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20902-20908


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