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 16170-16172
(domain son 1 Organism) Merge.kif 16168-16168
(domain son 2 Organism) Merge.kif 16169-16169
(instance son BinaryPredicate) Merge.kif 16167-16167
(subrelation son parent) Merge.kif 16166-16166

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


(format ChineseLanguage son "%1 是 %2 的 son ") domainEnglishFormat.kif 4579-4579
(format ChineseTraditionalLanguage son "%1 是 %2 的 son ") domainEnglishFormat.kif 4578-4578
(format EnglishLanguage son "%1 is the son of %2") domainEnglishFormat.kif 4577-4577
(termFormat ChineseLanguage son "儿子") domainEnglishFormat.kif 53919-53919
(termFormat ChineseTraditionalLanguage son "兒子") domainEnglishFormat.kif 53918-53918
(termFormat EnglishLanguage son "son") domainEnglishFormat.kif 53917-53917

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


(=>
    (son ?CHILD ?PARENT)
    (attribute ?CHILD Male))
Merge.kif 16174-16176

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))
Mid-level-ontology.kif 22532-22537
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))
Mid-level-ontology.kif 22450-22454
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 641-647
(=>
    (fathersSistersSon ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 689-695
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 665-671
(=>
    (mothersSistersSon ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 713-719


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