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 15046-15048
(domain familyRelation 1 Organism) Merge.kif 15044-15044 The number 1 argument of family relation is an instance of organism
(domain familyRelation 2 Organism) Merge.kif 15045-15045 The number 2 argument of family relation is an instance of organism
(instance familyRelation BinaryPredicate) Merge.kif 15043-15043 family relation is an instance of binary predicate
(subrelation familyRelation relative) Merge.kif 15033-15033 family relation is a subrelation of 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 20937-20937 aunt is a subrelation of family relation
(subrelation cousin familyRelation) Mid-level-ontology.kif 20952-20952 cousin is a subrelation of family relation
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 648-648 fathers brothers daughter is a subrelation of family relation
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 636-636 fathers brothers son is a subrelation of family relation
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 588-588 fathers brothers wife is a subrelation of family relation
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 696-696 fathers sisters daughter is a subrelation of family relation
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 612-612 fathers sisters husband is a subrelation of family relation
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 684-684 fathers sisters son is a subrelation of family relation
(subrelation maternalAunt familyRelation) ArabicCulture.kif 577-577 maternal aunt is a subrelation of family relation
(subrelation maternalUncle familyRelation) ArabicCulture.kif 555-555 maternal uncle is a subrelation of family relation
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 672-672 mothers brothers daughter is a subrelation of family relation
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 660-660 mothers brothers son is a subrelation of family relation
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 600-600 mothers brothers wife is a subrelation of family relation
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 720-720 mothers sisters daughter is a subrelation of family relation
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 624-624 mothers sisters husband is a subrelation of family relation
(subrelation mothersSistersSon familyRelation) ArabicCulture.kif 708-708 mothers sisters son is a subrelation of family relation
(subrelation nephew familyRelation) Mid-level-ontology.kif 21002-21002 nephew is a subrelation of family relation
(subrelation niece familyRelation) Mid-level-ontology.kif 21016-21016 niece is a subrelation of family relation
(subrelation paternalAunt familyRelation) ArabicCulture.kif 566-566 paternal aunt is a subrelation of family relation
(subrelation paternalUncle familyRelation) ArabicCulture.kif 544-544 paternal uncle is a subrelation of family relation
(subrelation sibling familyRelation) Merge.kif 15171-15171 sibling is a subrelation of family relation
(subrelation uncle familyRelation) Mid-level-ontology.kif 21031-21031 uncle is a subrelation of family relation
(termFormat ChineseLanguage familyRelation "家属关系") chinese_format.kif 546-546 "家属关系" is the printable form of family relation in ChineseLanguage

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 15050-15055

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


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


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