| appearance as argument number 1 |
|
| (documentation son ChineseLanguage "这是儿子的概括关系。(son ?CHILD ?PARENT)的意思是 ?CHILD 是 ?PARENT 的亲生儿子。") | Merge.kif 16686-16687 | |
| (documentation son EnglishLanguage "The general relationship of being a son. (son ?CHILD ?PARENT) means that ?CHILD is the biological son of ?PARENT.") | Merge.kif 16683-16685 | |
| (domain son 1 Organism) | Merge.kif 16681-16681 | The number 1 argument of son is an instance of organism |
| (domain son 2 Organism) | Merge.kif 16682-16682 | The number 2 argument of son is an instance of organism |
| (instance son BinaryPredicate) | Merge.kif 16680-16680 | son is an instance of binary predicate |
| (subrelation son parent) | Merge.kif 16679-16679 | son is a subrelation of parent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage son "%1 is the son of %2") | domainEnglishFormat.kif 1153-1153 | |
| (termFormat EnglishLanguage son "son") | domainEnglishFormat.kif 9413-9413 | "son" is the printable form of son in english language |
| antecedent |
|
|
| (=> (son ?CHILD ?PARENT) (attribute ?CHILD Male)) |
Merge.kif 16689-16691 |
|
| consequent |
|
|
| (<=> (nephew ?N ?H) (exists (?S) (and (sibling ?S ?H) (son ?N ?S)))) |
Mid-level-ontology.kif 21004-21009 | A man is the 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 20919-20923 |
|
| (=> (fathersBrothersSon ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 639-645 |
|
| (=> (fathersSistersSon ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 687-693 |
|
| (=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 663-669 |
|
| (=> (mothersSistersSon ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 711-717 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners