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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - familyRelation
familyRelation

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


(documentation familyRelation ChineseLanguage "这是生物关系上,一个最笼统的 Predicate。 (familyRelation ?ORGANISM1 ?ORGANISM2)的意思是 ?ORGANISM1 和 ?ORGANISM2 在生理上源自一个共同 的祖先。") Merge.kif 16557-16559
(documentation familyRelation EnglishLanguage "A very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor.") Merge.kif 16554-16556
(domain familyRelation 1 Organism) Merge.kif 16552-16552
(domain familyRelation 2 Organism) Merge.kif 16553-16553
(instance familyRelation BinaryPredicate) Merge.kif 16551-16551
(subrelation familyRelation relative) Merge.kif 16540-16540

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


(format ChineseLanguage familyRelation "%1 和 %2 %n 是 亲属") chinese_format.kif 545-545
(format EnglishLanguage familyRelation "%1 and %2 are %n related") english_format.kif 331-331
(subrelation aunt familyRelation) Mid-level-ontology.kif 20936-20936
(subrelation cousin familyRelation) Mid-level-ontology.kif 20951-20951
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 648-648
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 636-636
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 588-588
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 696-696
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 612-612
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 684-684
(subrelation maternalAunt familyRelation) ArabicCulture.kif 577-577
(subrelation maternalUncle familyRelation) ArabicCulture.kif 555-555
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 672-672
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 660-660
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 600-600
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 720-720
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 624-624
(subrelation mothersSistersSon familyRelation) ArabicCulture.kif 708-708
(subrelation nephew familyRelation) Mid-level-ontology.kif 21001-21001
(subrelation niece familyRelation) Mid-level-ontology.kif 21015-21015
(subrelation paternalAunt familyRelation) ArabicCulture.kif 566-566
(subrelation paternalUncle familyRelation) ArabicCulture.kif 544-544
(subrelation sibling familyRelation) Merge.kif 16695-16695
(subrelation uncle familyRelation) Mid-level-ontology.kif 21030-21030
(termFormat ChineseLanguage familyRelation "家属关系") chinese_format.kif 546-546

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (familyRelation ?ORGANISM1 ?ORGANISM2)
    (exists (?ORGANISM3)
        (and
            (ancestor ?ORGANISM3 ?ORGANISM1)
            (ancestor ?ORGANISM3 ?ORGANISM2))))
Merge.kif 16561-16566

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


(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))
Mid-level-ontology.kif 6933-6938
(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))
Merge.kif 16475-16482


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