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 22783-22785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22779-22779 域 從屬於組織, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22780-22780 域 從屬於組織, 2 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22781-22781 域 從屬於組織, 3 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22778-22778 例 從屬於組織 and TernaryPredicate

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 55754-55754
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55753-55753
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55752-55752

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22787-22789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22791-22793

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22805-22813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20938-20947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20930-20936


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