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 16184-16186
(domain familyRelation 1 Organism) Merge.kif 16182-16182
(domain familyRelation 2 Organism) Merge.kif 16183-16183
(instance familyRelation BinaryPredicate) Merge.kif 16181-16181
(subrelation familyRelation relative) Merge.kif 16171-16171

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 22993-22993
(subrelation cousin familyRelation) Mid-level-ontology.kif 23008-23008
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 663-663
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 651-651
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 603-603
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 711-711
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 627-627
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 699-699
(subrelation maternalAunt familyRelation) ArabicCulture.kif 592-592
(subrelation maternalUncle familyRelation) ArabicCulture.kif 570-570
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 687-687
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 675-675
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 615-615
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 735-735
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 639-639
(subrelation mothersSistersSon familyRelation) ArabicCulture.kif 723-723
(subrelation nephew familyRelation) Mid-level-ontology.kif 23056-23056
(subrelation niece familyRelation) Mid-level-ontology.kif 23070-23070
(subrelation paternalAunt familyRelation) ArabicCulture.kif 581-581
(subrelation paternalUncle familyRelation) ArabicCulture.kif 559-559
(subrelation sibling familyRelation) Merge.kif 16312-16312
(subrelation uncle familyRelation) Mid-level-ontology.kif 23084-23084
(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 16188-16193

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


(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))
Mid-level-ontology.kif 7229-7234
(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))
Merge.kif 16113-16120


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