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

Formal Language: 



KB Term:  Term intersection
English Word: 

  familyRelation

 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 16356-16358
(domain familyRelation 1 Organism) Merge.kif 16354-16354 Le nombre 1 argument de familyRelation est une instance de organisme
(domain familyRelation 2 Organism) Merge.kif 16355-16355 Le nombre 2 argument de familyRelation est une instance de organisme
(instance familyRelation BinaryPredicate) Merge.kif 16353-16353 familyRelation est une instance de pr�dicat binaire
(subrelation familyRelation relative) Merge.kif 16343-16343 familyRelation est une sous-relation de 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 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 23042-23042 aunt est une sous-relation de familyRelation
(subrelation cousin familyRelation) Mid-level-ontology.kif 23057-23057 cousin est une sous-relation de familyRelation
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 663-663 fathersBrothersDaughter est une sous-relation de familyRelation
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 651-651 fathersBrothersSon est une sous-relation de familyRelation
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 603-603 fathersBrothersWife est une sous-relation de familyRelation
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 711-711 fathersSistersDaughter est une sous-relation de familyRelation
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 627-627 fathersSistersHusband est une sous-relation de familyRelation
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 699-699 fathersSistersSon est une sous-relation de familyRelation
(subrelation maternalAunt familyRelation) ArabicCulture.kif 592-592 maternalAunt est une sous-relation de familyRelation
(subrelation maternalUncle familyRelation) ArabicCulture.kif 570-570 maternalUncle est une sous-relation de familyRelation
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 687-687 mothersBrothersDaughter est une sous-relation de familyRelation
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 675-675 mothersBrothersSon est une sous-relation de familyRelation
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 615-615 mothersBrothersWife est une sous-relation de familyRelation

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 16360-16365

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


(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))		 Mid-level-ontology.kif 7268-7273
(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))		 Merge.kif 16285-16292


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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