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 16494-16496
(domain familyRelation 1 Organism) Merge.kif 16492-16492 familyRelation の数値 1 引数は 物 の instance では
(domain familyRelation 2 Organism) Merge.kif 16493-16493 familyRelation の数値 2 引数は 物 の instance では
(instance familyRelation BinaryPredicate) Merge.kif 16491-16491 familyRelation は 2進述語 の instance では
(subrelation familyRelation relative) Merge.kif 16481-16481 familyRelation は relative の subrelation では

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
(format FrenchLanguage familyRelation "%1 et %2 sont %n parents") french_format.kif 320-320
(format ItalianLanguage familyRelation "%1 e %2 sono parenti") relations-it.txt 108-108
(format JapaneseLanguage familyRelation "%1 と %2 は related して %n") japanese_format.kif 2088-2088
(format PortugueseLanguage familyRelation "%1 e %2 sao %n parentes") portuguese_format.kif 272-272
(format de familyRelation "%1 und %2 sind verwandt") relations-de.txt 713-713
(format hi familyRelation "%1 aura %2 sambandhii hai") relations-hindi.txt 148-148
(format ro familyRelation "%1 ºi %2 %n{nu} sunt related%t{înrudiþi}") relations-ro.kif 341-341
(format sv familyRelation "%1 och %2 är släkt") relations-sv.txt 354-354
(format tg familyRelation "%1 at %2 ay ugnay") relations-tg.txt 226-226
(subrelation aunt familyRelation) Mid-level-ontology.kif 24686-24686 aunt は familyRelation の subrelation では
(subrelation cousin familyRelation) Mid-level-ontology.kif 24701-24701 cousin は familyRelation の subrelation では
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 681-681 fathersBrothersDaughter は familyRelation の subrelation では
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 667-667 fathersBrothersSon は familyRelation の subrelation では
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 611-611 fathersBrothersWife は familyRelation の subrelation では
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 737-737 fathersSistersDaughter は familyRelation の subrelation では
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 639-639 fathersSistersHusband は familyRelation の subrelation では
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 723-723 fathersSistersSon は familyRelation の subrelation では
(subrelation maternalAunt familyRelation) ArabicCulture.kif 598-598 maternalAunt は familyRelation の subrelation では
(subrelation maternalUncle familyRelation) ArabicCulture.kif 572-572 maternalUncle は familyRelation の subrelation では
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 709-709 mothersBrothersDaughter は familyRelation の subrelation では
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 695-695 mothersBrothersSon は familyRelation の subrelation では
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 625-625 mothersBrothersWife は familyRelation の subrelation では

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 16498-16503

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


(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))		 Mid-level-ontology.kif 8430-8435
(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))		 Merge.kif 16423-16430


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