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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - brother
brother

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


(documentation brother ChineseLanguage "这是兄弟的概括关系。(brother ?MAN ?PERSON)的意思是 ?MAN 是 ?PERSON 兄弟。") chinese_format.kif 3701-3702
(documentation brother EnglishLanguage "The general relationship of being a brother. (brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.") Merge.kif 15366-15367
(domain brother 1 Man) Merge.kif 15364-15364 domain brother, 1 and Man
(domain brother 2 Human) Merge.kif 15365-15365 domain brother, 2 and Human
(instance brother IrreflexiveRelation) Merge.kif 15361-15361 instance brother and IrreflexiveRelation
(instance brother PartialValuedRelation) Merge.kif 15363-15363 instance brother and PartialValuedRelation
(instance brother TransitiveRelation) Merge.kif 15362-15362 instance brother and TransitiveRelation
(subrelation brother sibling) Merge.kif 15360-15360 subrelation brother and sibling

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


(format ChineseLanguage brother "%1 是 %2 的 brother ") domainEnglishFormat.kif 2923-2923
(format ChineseTraditionalLanguage brother "%1 是 %2 的 brother ") domainEnglishFormat.kif 2922-2922
(format EnglishLanguage brother "%1 is the brother of %2") domainEnglishFormat.kif 2921-2921
(termFormat ChineseLanguage brother "哥哥") domainEnglishFormat.kif 12071-12071
(termFormat ChineseTraditionalLanguage brother "哥哥") domainEnglishFormat.kif 12070-12070
(termFormat EnglishLanguage brother "brother") domainEnglishFormat.kif 12069-12069

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


(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 21077-21082 uncle Man and Human Human brother Man and Human parent Human and Human
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 651-657
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 639-645
(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 591-597
(=>
    (maternalUncle ?P ?UNC)
    (exists (?M)
        (and
            (mother ?P ?M)
            (brother ?UNC ?M))))
ArabicCulture.kif 558-563
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 675-681
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 663-669
(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 603-609
(=>
    (paternalUncle ?P ?UNC)
    (exists (?F)
        (and
            (father ?P ?F)
            (brother ?F ?UNC))))
ArabicCulture.kif 547-552


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