Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - familyRelation
familyRelation

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


(subrelation familyRelation relative) Merge.kif 16680-16680
(instance familyRelation BinaryPredicate) Merge.kif 16690-16690
(domain familyRelation 1 Organism) Merge.kif 16691-16691
(domain familyRelation 2 Organism) Merge.kif 16692-16692
(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 16693-16695

appearance as argument number 2
-------------------------


(subrelation sibling familyRelation) Merge.kif 16821-16821
(subrelation aunt familyRelation) Mid-level-ontology.kif 25361-25361
(subrelation cousin familyRelation) Mid-level-ontology.kif 25376-25376
(subrelation nephew familyRelation) Mid-level-ontology.kif 25424-25424
(subrelation niece familyRelation) Mid-level-ontology.kif 25438-25438
(subrelation uncle familyRelation) Mid-level-ontology.kif 25452-25452
(subrelation paternalUncle familyRelation) ArabicCulture.kif 558-558
(subrelation maternalUncle familyRelation) ArabicCulture.kif 571-571
(subrelation paternalAunt familyRelation) ArabicCulture.kif 584-584
(subrelation maternalAunt familyRelation) ArabicCulture.kif 597-597
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 610-610
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 624-624
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 638-638
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 652-652
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 666-666
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 680-680
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 694-694
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 708-708
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 722-722
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 736-736
(subrelation mothersSistersSon familyRelation) ArabicCulture.kif 750-750
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 764-764
(termFormat EnglishLanguage familyRelation "family relation") domainEnglishFormat.kif 23224-23224
(termFormat ChineseTraditionalLanguage familyRelation "家庭關係") domainEnglishFormat.kif 23225-23225
(termFormat ChineseLanguage familyRelation "家庭关系") domainEnglishFormat.kif 23226-23226

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 16697-16702
(=>
    (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

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


(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))		 Merge.kif 16622-16629
(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))		 Mid-level-ontology.kif 8566-8571


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners