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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16627-16629
(domain son 1 Organism) Merge.kif 16625-16625 The number 1 argument of son is an instance of organism
(domain son 2 Organism) Merge.kif 16626-16626 The number 2 argument of son is an instance of organism
(instance son BinaryPredicate) Merge.kif 16624-16624 son is an instance of binary predicate
(subrelation son parent) Merge.kif 16623-16623 son is a subrelation of parent

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


(format ChineseLanguage son "%1 是 %2 的 son ") domainEnglishFormat.kif 4574-4574
(format ChineseTraditionalLanguage son "%1 是 %2 的 son ") domainEnglishFormat.kif 4573-4573
(format EnglishLanguage son "%1 is the son of %2") domainEnglishFormat.kif 4572-4572
(termFormat ChineseLanguage son "儿子") domainEnglishFormat.kif 53944-53944
(termFormat ChineseTraditionalLanguage son "兒子") domainEnglishFormat.kif 53943-53943
(termFormat EnglishLanguage son "son") domainEnglishFormat.kif 53942-53942

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


(=>
    (son ?CHILD ?PARENT)
    (attribute ?CHILD Male))
Merge.kif 16631-16633

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))
Mid-level-ontology.kif 24750-24755 A man is the &ephew$"nephew" of a human if and only if there exists an organism such that the organism is a sibling of the human and the man is the son of the organism
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))
Mid-level-ontology.kif 24668-24672
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 672-678
(=>
    (fathersSistersSon ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 728-734
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 700-706
(=>
    (mothersSistersSon ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 756-762


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