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 16430-16432
(domain familyRelation 1 Organism) Merge.kif 16428-16428 The number 1 argument of family relation is an instance of organism
(domain familyRelation 2 Organism) Merge.kif 16429-16429 The number 2 argument of family relation is an instance of organism
(instance familyRelation BinaryPredicate) Merge.kif 16427-16427 family relation is an instance of binary predicate
(subrelation familyRelation relative) Merge.kif 16417-16417 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 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 24157-24157 aunt is a subrelation of family relation
(subrelation cousin familyRelation) Mid-level-ontology.kif 24172-24172 cousin is a subrelation of family relation
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 663-663 fathers brothers daughter is a subrelation of family relation
(subrelation fathersBrothersSon familyRelation) ArabicCulture.kif 651-651 fathers brothers son is a subrelation of family relation
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 603-603 fathers brothers wife is a subrelation of family relation
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 711-711 fathers sisters daughter is a subrelation of family relation
(subrelation fathersSistersHusband familyRelation) ArabicCulture.kif 627-627 fathers sisters husband is a subrelation of family relation
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 699-699 fathers sisters son is a subrelation of family relation
(subrelation maternalAunt familyRelation) ArabicCulture.kif 592-592 maternal aunt is a subrelation of family relation
(subrelation maternalUncle familyRelation) ArabicCulture.kif 570-570 maternal uncle is a subrelation of family relation
(subrelation mothersBrothersDaughter familyRelation) ArabicCulture.kif 687-687 mothers brothers daughter is a subrelation of family relation
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 675-675 mothers brothers son is a subrelation of family relation
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 615-615 mothers brothers wife is a subrelation of family relation

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 16434-16439

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


(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))		 Mid-level-ontology.kif 8042-8047
(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))		 Merge.kif 16359-16366


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