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 16065-16067
(domain familyRelation 1 Organism) Merge.kif 16063-16063 domain familyRelation, 1 and Organism
(domain familyRelation 2 Organism) Merge.kif 16064-16064 domain familyRelation, 2 and Organism
(instance familyRelation BinaryPredicate) Merge.kif 16062-16062 instance familyRelation and BinaryPredicate
(subrelation familyRelation relative) Merge.kif 16052-16052 subrelation familyRelation and relative

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 22490-22490 subrelation aunt and familyRelation
(subrelation cousin familyRelation) Mid-level-ontology.kif 22505-22505 subrelation cousin and familyRelation
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 650-650 subrelation fathersBrothersDaughter and familyRelation
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 638-638 subrelation fathersBrothersSon and familyRelation
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 590-590 subrelation fathersBrothersWife and familyRelation
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 698-698 subrelation fathersSistersDaughter and familyRelation
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 614-614 subrelation fathersSistersHusband and familyRelation
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 686-686 subrelation fathersSistersSon and familyRelation
(subrelation maternalAunt familyRelation) ArabicCulture.kif 579-579 subrelation maternalAunt and familyRelation
(subrelation maternalUncle familyRelation) ArabicCulture.kif 557-557 subrelation maternalUncle and familyRelation
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 674-674 subrelation mothersBrothersDaughter and familyRelation
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 662-662 subrelation mothersBrothersSon and familyRelation
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 602-602 subrelation mothersBrothersWife and familyRelation
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 722-722 subrelation mothersSistersDaughter and familyRelation
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 626-626 subrelation mothersSistersHusband and familyRelation
(subrelation mothersSistersSon familyRelation) ArabicCulture.kif 710-710 subrelation mothersSistersSon and familyRelation
(subrelation nephew familyRelation) Mid-level-ontology.kif 22553-22553 subrelation nephew and familyRelation
(subrelation niece familyRelation) Mid-level-ontology.kif 22567-22567 subrelation niece and familyRelation
(subrelation paternalAunt familyRelation) ArabicCulture.kif 568-568 subrelation paternalAunt and familyRelation
(subrelation paternalUncle familyRelation) ArabicCulture.kif 546-546 subrelation paternalUncle and familyRelation
(subrelation sibling familyRelation) Merge.kif 16193-16193 subrelation sibling and familyRelation
(subrelation uncle familyRelation) Mid-level-ontology.kif 22581-22581 subrelation uncle and familyRelation
(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
-------------------------


(=>
    (and
        (governmentType ?PLACE Monarchy)
        (instance ?MONARCH Human)
        (instance ?SUCCESSOR Human)
        (holdsDuring ?T1
            (chiefOfState ?PLACE ?ROLE ?MONARCH))
        (familyRelation ?MONARCH ?SUCCESSOR)
        (earlier ?T1 ?T2))
    (modalAttribute
        (holdsDuring ?T2
            (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility))
Government.kif 223-234
(=>
    (familyRelation ?ORGANISM1 ?ORGANISM2)
    (exists (?ORGANISM3)
        (and
            (ancestor ?ORGANISM3 ?ORGANISM1)
            (ancestor ?ORGANISM3 ?ORGANISM2))))
Merge.kif 16069-16074

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 15994-16001


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