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


KB Term:  Term intersection
English Word: 

  ancestorOrganization

 Sigma KEE - ancestorOrganization
ancestorOrganization

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


(documentation ancestorOrganization EnglishLanguage "(ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organization ?ORG2.") Mid-level-ontology.kif 26445-26446
(instance ancestorOrganization BinaryPredicate) Mid-level-ontology.kif 26447-26447 ancestor organization is an instance of binary predicate
(instance ancestorOrganization TransitiveRelation) Mid-level-ontology.kif 26448-26448 ancestor organization is an instance of transitive relation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 26449-26449 ancestor organization is an instance of irreflexive relation
(instance ancestorOrganization PartialValuedRelation) Mid-level-ontology.kif 26450-26450 ancestor organization is an instance of partial valued relation
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 26451-26451 The number 1 argument of ancestor organization is an instance of organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 26452-26452 The number 2 argument of ancestor organization is an instance of organization
(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 26453-26453 ancestor organization and sub organization are disjoint

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners