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

Formal Language: 



KB Term:  Term intersection
English Word: 

  brother

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 15846-15847
(domain brother 1 Man) Merge.kif 15844-15844
(domain brother 2 Human) Merge.kif 15845-15845
(instance brother IrreflexiveRelation) Merge.kif 15841-15841
(instance brother PartialValuedRelation) Merge.kif 15843-15843
(instance brother TransitiveRelation) Merge.kif 15842-15842
(subrelation brother sibling) Merge.kif 15840-15840

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 12128-12128
(termFormat ChineseTraditionalLanguage brother "哥哥") domainEnglishFormat.kif 12127-12127
(termFormat EnglishLanguage brother "brother") domainEnglishFormat.kif 12126-12126

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


(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 22414-22419
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 653-659
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 641-647
(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 593-599
(=>
    (maternalUncle ?P ?UNC)
    (exists (?M)
        (and
            (mother ?P ?M)
            (brother ?UNC ?M))))
ArabicCulture.kif 560-565
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 677-683
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 665-671
(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 605-611
(=>
    (paternalUncle ?P ?UNC)
    (exists (?F)
        (and
            (father ?P ?F)
            (brother ?F ?UNC))))
ArabicCulture.kif 549-554


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