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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ancestor
ancestor

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


s__documentation(s__ancestor__m,s__ChineseLanguage,'"这是 parent 谓词 的传递闭包。 (ancestor ?DESCENDANT ?ANCESTOR)的意思是 ?ANCESTOR 要不是 ?DESCENDANT 的 parent，就是 DESCENDANT 的 parent 的 parent，如此类推。"')

 chinese_format.kif 3686-3688
s__documentation(s__ancestor__m,s__EnglishLanguage,'"The transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc."')

 Merge.kif 15154-15157
s__domain(s__ancestor__m,n__1,s__Organism)

 Merge.kif 15152-15152 The number 1 argument of ancestor is an instance of organism
s__domain(s__ancestor__m,n__2,s__Organism)

 Merge.kif 15153-15153 The number 2 argument of ancestor is an instance of organism
s__instance(s__ancestor__m,s__IrreflexiveRelation)

s__instance(s__IrreflexiveRelation,s__SetOrClass)

 Merge.kif 15150-15150 ancestor is an instance of irreflexive relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ancestor__m,s__TotalValuedRelation)

 Merge.kif 15151-15151 ancestor is an instance of total valued relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__ancestor__m,s__TransitiveRelation)

 Merge.kif 15149-15149 ancestor is an instance of transitive relation

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


s__format(s__ChineseLanguage,s__ancestor__m,'"%2 是 %1 的 ancestor "')

 domainEnglishFormat.kif 2795-2795
s__format(s__ChineseTraditionalLanguage,s__ancestor__m,'"%2 是 %1 的 ancestor "')

 domainEnglishFormat.kif 2794-2794
s__format(s__EnglishLanguage,s__ancestor__m,'"%2 is the ancestor of %1"')

 domainEnglishFormat.kif 2793-2793
s__termFormat(s__ChineseLanguage,s__ancestor__m,'"祖先"')

 domainEnglishFormat.kif 7387-7387
s__termFormat(s__ChineseTraditionalLanguage,s__ancestor__m,'"祖先"')

 domainEnglishFormat.kif 7386-7386
s__termFormat(s__EnglishLanguage,s__ancestor__m,'"ancestor"')

 domainEnglishFormat.kif 7385-7385

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


( ! [V__DESCENDANTS,V__PERSON] :
   (s__instance(V__DESCENDANTS,s__FamilyGroup) =>
     (s__instance(V__PERSON,s__Human) &
       (s__DescendantsFn(V__PERSON)
       = V__DESCENDANTS))
   =>
   ( ! [V__MEMBER] :
     (s__instance(V__MEMBER,s__Organism) =>
       (s__member(V__MEMBER,V__DESCENDANTS)
       =>
       s__ancestor(V__MEMBER,V__PERSON))
   &
   (s__ancestor(V__MEMBER,V__PERSON)
   =>
   s__member(V__MEMBER,V__DESCENDANTS))))
)
)

 Mid-level-ontology.kif 7178-7185
( ! [V__ORGANISM1,V__ORGANISM2] :
   ((s__instance(V__ORGANISM1,s__Organism) &
       s__instance(V__ORGANISM2,s__Organism))
     =>
     s__familyRelation(V__ORGANISM1,V__ORGANISM2)
   =>
   ( ? [V__ORGANISM3] :
     ((s__instance(V__ORGANISM3,s__Organism) &
         (s__ancestor(V__ORGANISM3,V__ORGANISM1)
         &
         s__ancestor(V__ORGANISM3,V__ORGANISM2)))))
)
)

 Merge.kif 15141-15146
( ! [V__CHILD,V__PARENT] :
   ((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     s__parent(V__CHILD,V__PARENT)
   =>
   s__ancestor(V__CHILD,V__PARENT)
)
)

 Merge.kif 15173-15175


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners