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 25816-25816 ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25808-25809 ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25814-25814 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 25815-25815 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 25810-25810 ancestor organization is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25812-25812 ancestor organization is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25813-25813 ancestor organization is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25811-25811 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