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 在生理上源自一个共同 的祖先。") 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 15195-15197
(domain familyRelation 1 Organism) Merge.kif 15193-15193 domain familyRelation, 1 and Organism
(domain familyRelation 2 Organism) Merge.kif 15194-15194 domain familyRelation, 2 and Organism
(instance familyRelation BinaryPredicate) Merge.kif 15192-15192 instance familyRelation and BinaryPredicate
(subrelation familyRelation relative) Merge.kif 15182-15182 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 553-553
(subrelation aunt familyRelation) Mid-level-ontology.kif 20980-20980 subrelation aunt and familyRelation
(subrelation cousin familyRelation) Mid-level-ontology.kif 20995-20995 subrelation cousin and familyRelation
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 648-648 subrelation fathersBrothersDaughter and familyRelation
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 636-636 subrelation fathersBrothersSon and familyRelation
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 588-588 subrelation fathersBrothersWife and familyRelation
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 696-696 subrelation fathersSistersDaughter and familyRelation
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 612-612 subrelation fathersSistersHusband and familyRelation
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 684-684 subrelation fathersSistersSon and familyRelation
(subrelation maternalAunt familyRelation) ArabicCulture.kif 577-577 subrelation maternalAunt and familyRelation
(subrelation maternalUncle familyRelation) ArabicCulture.kif 555-555 subrelation maternalUncle and familyRelation
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 672-672 subrelation mothersBrothersDaughter and familyRelation
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 660-660 subrelation mothersBrothersSon and familyRelation
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 600-600 subrelation mothersBrothersWife and familyRelation
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 720-720 subrelation mothersSistersDaughter and familyRelation
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 624-624 subrelation mothersSistersHusband and familyRelation
(subrelation mothersSistersSon familyRelation) ArabicCulture.kif 708-708 subrelation mothersSistersSon and familyRelation
(subrelation nephew familyRelation) Mid-level-ontology.kif 21045-21045 subrelation nephew and familyRelation
(subrelation niece familyRelation) Mid-level-ontology.kif 21059-21059 subrelation niece and familyRelation
(subrelation paternalAunt familyRelation) ArabicCulture.kif 566-566 subrelation paternalAunt and familyRelation
(subrelation paternalUncle familyRelation) ArabicCulture.kif 544-544 subrelation paternalUncle and familyRelation
(subrelation sibling familyRelation) Merge.kif 15323-15323 subrelation sibling and familyRelation
(subrelation uncle familyRelation) Mid-level-ontology.kif 21074-21074 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
-------------------------


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

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


(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))
Mid-level-ontology.kif 6914-6919
(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))
Merge.kif 15124-15131


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 3.0 is open source software produced by Articulate Software and its partners