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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ancestorOrganization
ancestorOrganization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21971-21971 ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21963-21964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21969-21969 The number 1 argument of ancestor organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21970-21970 The number 2 argument of ancestor organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21965-21965 ancestor organization is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21967-21967 ancestor organization is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21968-21968 ancestor organization is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21966-21966 ancestor organization is an instance of transitive relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 140-140
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 139-139
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 138-138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7393-7393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7392-7392
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7391-7391


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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