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

Formal Language: 



KB Term:  Term intersection
English Word: 

  son

 Sigma KEE - son
son

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


(documentation son ChineseLanguage "这是儿子的概括关系。(son ?CHILD ?PARENT)的意思是 ?CHILD 是 ?PARENT 的亲生儿子。") chinese_format.kif 3697-3698
(documentation son EnglishLanguage "The general relationship of being a son. (son ?CHILD ?PARENT) means that ?CHILD is the biological son of ?PARENT.") Merge.kif 16523-16525
(domain son 1 Organism) Merge.kif 16521-16521 域 兒子, 1 and Organism
(domain son 2 Organism) Merge.kif 16522-16522 域 兒子, 2 and Organism
(instance son BinaryPredicate) Merge.kif 16520-16520 例 兒子 and BinaryPredicate
(subrelation son parent) Merge.kif 16519-16519 子關係 兒子 and 親

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


(format ChineseLanguage son "%1 是 %2 的 son ") domainEnglishFormat.kif 4570-4570
(format ChineseTraditionalLanguage son "%1 是 %2 的 son ") domainEnglishFormat.kif 4569-4569
(format EnglishLanguage son "%1 is the son of %2") domainEnglishFormat.kif 4568-4568
(termFormat ChineseLanguage son "儿子") domainEnglishFormat.kif 53942-53942
(termFormat ChineseTraditionalLanguage son "兒子") domainEnglishFormat.kif 53941-53941
(termFormat EnglishLanguage son "son") domainEnglishFormat.kif 53940-53940

antecedent
-------------------------


(=>
    (son ?CHILD ?PARENT)
    (attribute ?CHILD Male))		 Merge.kif 16527-16529

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))		 Mid-level-ontology.kif 23161-23166 人 是 Human 的 nephew Organism 兄弟 Organism and Human 人 是 Organism 的 son
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))		 Mid-level-ontology.kif 23079-23083
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))		 ArabicCulture.kif 654-660
(=>
    (fathersSistersSon ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (son ?AUN ?H))))		 ArabicCulture.kif 702-708
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))		 ArabicCulture.kif 678-684
(=>
    (mothersSistersSon ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (son ?AUN ?H))))		 ArabicCulture.kif 726-732


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