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 16305-16307
(domain son 1 Organism) Merge.kif 16303-16303
(domain son 2 Organism) Merge.kif 16304-16304
(instance son BinaryPredicate) Merge.kif 16302-16302
(subrelation son parent) Merge.kif 16301-16301

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


(format ChineseLanguage son "%1 是 %2 的 son ") domainEnglishFormat.kif 4578-4578
(format ChineseTraditionalLanguage son "%1 是 %2 的 son ") domainEnglishFormat.kif 4577-4577
(format EnglishLanguage son "%1 is the son of %2") domainEnglishFormat.kif 4576-4576
(termFormat ChineseLanguage son "儿子") domainEnglishFormat.kif 53926-53926
(termFormat ChineseTraditionalLanguage son "兒子") domainEnglishFormat.kif 53925-53925
(termFormat EnglishLanguage son "son") domainEnglishFormat.kif 53924-53924

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


(=>
    (son ?CHILD ?PARENT)
    (attribute ?CHILD Male))
Merge.kif 16309-16311

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))
Mid-level-ontology.kif 23058-23063
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))
Mid-level-ontology.kif 22976-22980
(=>
    (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