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

Formal Language: 



KB Term:  Term intersection
English Word: 

  judge

 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 16576-16577
(domain brother 1 Man) Merge.kif 16574-16574 哥哥 的 1 数量 是 人 的 instance
(domain brother 2 Human) Merge.kif 16575-16575 哥哥 的 2 数量 是 人类 的 instance
(instance brother IrreflexiveRelation) Merge.kif 16571-16571 哥哥 是 非自反关系 的 instance
(instance brother PartialValuedRelation) Merge.kif 16573-16573 哥哥 是 部分值关系 的 instance
(instance brother TransitiveRelation) Merge.kif 16572-16572 哥哥 是 传递关系 的 instance
(subrelation brother sibling) Merge.kif 16570-16570 哥哥 是 兄弟姐妹 的 subrelation

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 23189-23194 人类 的 uncle 是 人 若且唯若 有存在 另一个 人类 这样 那个 人 是 那个 另外 人类 的 brother 和 那个 另外 人类 是 那个 人类 的 parent
(=>
    (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