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

Formal Language: 



KB Term:  Term intersection
English Word: 

  familyRelation

Sigma KEE - familyRelation
familyRelation

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


(documentation familyRelation ChineseLanguage "这是生物关系上,一个最笼统的 Predicate。 (familyRelation ?ORGANISM1 ?ORGANISM2)的意思是 ?ORGANISM1 和 ?ORGANISM2 在生理上源自一个共同 的祖先。") chinese_format.kif 3683-3685
(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 16052-16054
(domain familyRelation 1 Organism) Merge.kif 16050-16050
(domain familyRelation 2 Organism) Merge.kif 16051-16051
(instance familyRelation BinaryPredicate) Merge.kif 16049-16049
(subrelation familyRelation relative) Merge.kif 16039-16039

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 550-550
(subrelation aunt familyRelation) Mid-level-ontology.kif 22466-22466
(subrelation cousin familyRelation) Mid-level-ontology.kif 22481-22481
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 650-650
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 638-638
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 590-590
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 698-698
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 614-614
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 686-686
(subrelation maternalAunt familyRelation) ArabicCulture.kif 579-579
(subrelation maternalUncle familyRelation) ArabicCulture.kif 557-557
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 674-674
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 662-662
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 602-602
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 722-722
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 626-626
(subrelation mothersSistersSon familyRelation) ArabicCulture.kif 710-710
(subrelation nephew familyRelation) Mid-level-ontology.kif 22529-22529
(subrelation niece familyRelation) Mid-level-ontology.kif 22543-22543
(subrelation paternalAunt familyRelation) ArabicCulture.kif 568-568
(subrelation paternalUncle familyRelation) ArabicCulture.kif 546-546
(subrelation sibling familyRelation) Merge.kif 16180-16180
(subrelation uncle familyRelation) Mid-level-ontology.kif 22557-22557
(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 16056-16061

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


(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))
Mid-level-ontology.kif 6929-6934
(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))
Merge.kif 15981-15988


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

Show without tree


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