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 16475-16476
(domain brother 1 Man) Merge.kif 16473-16473 Le nombre 1 argument de brother est une instance de Man
(domain brother 2 Human) Merge.kif 16474-16474 Le nombre 2 argument de brother est une instance de humain
(instance brother IrreflexiveRelation) Merge.kif 16470-16470 brother est une instance de relation irr�flexive
(instance brother PartialValuedRelation) Merge.kif 16472-16472 brother est une instance de relation partielle
(instance brother TransitiveRelation) Merge.kif 16471-16471 brother est une instance de relation transitive
(subrelation brother sibling) Merge.kif 16469-16469 brother est une sous-relation de sibling

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


(format ChineseLanguage brother "%1 是 %2 的 brother ") domainEnglishFormat.kif 2922-2922
(format ChineseTraditionalLanguage brother "%1 是 %2 的 brother ") domainEnglishFormat.kif 2921-2921
(format EnglishLanguage brother "%1 is the brother of %2") domainEnglishFormat.kif 2920-2920
(termFormat ChineseLanguage brother "哥哥") domainEnglishFormat.kif 12125-12125
(termFormat ChineseTraditionalLanguage brother "哥哥") domainEnglishFormat.kif 12124-12124
(termFormat EnglishLanguage brother "brother") domainEnglishFormat.kif 12123-12123

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


(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23086-23091 uncle Man and humain humain brother Man and humain humain est un parent de humain
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))		 ArabicCulture.kif 666-672
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))		 ArabicCulture.kif 654-660
(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))		 ArabicCulture.kif 606-612
(=>
    (maternalUncle ?P ?UNC)
    (exists (?M)
        (and
            (mother ?P ?M)
            (brother ?UNC ?M))))		 ArabicCulture.kif 573-578
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))		 ArabicCulture.kif 690-696
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))		 ArabicCulture.kif 678-684
(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))		 ArabicCulture.kif 618-624
(=>
    (paternalUncle ?P ?UNC)
    (exists (?F)
        (and
            (father ?P ?F)
            (brother ?F ?UNC))))		 ArabicCulture.kif 562-567


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