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 O argumento numero 1 de subordinateInOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22780-22780 O argumento numero 2 de subordinateInOrganization e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22781-22781 O argumento numero 3 de subordinateInOrganization e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22778-22778 subordinateInOrganization e' uma instancia de Predicado Ternario

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