Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| son |
| appearance as argument number 1 |
|
| (subrelation son parent) | Merge.kif 16807-16807 | son is a subrelation of parent |
| (instance son BinaryPredicate) | Merge.kif 16808-16808 | son is an instance of binary predicate |
| (domain son 1 Organism) | Merge.kif 16809-16809 | The number 1 argument of son is an instance of organism |
| (domain son 2 Organism) | Merge.kif 16810-16810 | The number 2 argument of son is an instance of organism |
| (documentation son EnglishLanguage "The general relationship of being a son. (son ?CHILD ?PARENT) means that ?CHILD is the biological son of ?PARENT.") | Merge.kif 16811-16813 | The number 2 argument of son is an instance of organism |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage son "%1 is the son of %2") | domainEnglishFormat.kif 4572-4572 | |
| (format ChineseTraditionalLanguage son "%1 是 %2 的 son ") | domainEnglishFormat.kif 4573-4573 | |
| (format ChineseLanguage son "%1 是 %2 的 son ") | domainEnglishFormat.kif 4574-4574 | |
| (termFormat EnglishLanguage son "son") | domainEnglishFormat.kif 53935-53935 | |
| (termFormat ChineseTraditionalLanguage son "兒子") | domainEnglishFormat.kif 53936-53936 | |
| (termFormat ChineseLanguage son "儿子") | domainEnglishFormat.kif 53937-53937 |
| antecedent |
|
|
| (=> (son ?CHILD ?PARENT) (attribute ?CHILD Male)) |
Merge.kif 16815-16817 | If X is the son of Y, then male is an attribute of X |
| consequent |
|
|
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Man)) (son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25345-25349 | If X is a parent of Y and Y is an instance of man, then Y is the son of X |
| (<=> (nephew ?N ?H) (exists (?S) (and (sibling ?S ?H) (son ?N ?S)))) |
Mid-level-ontology.kif 25427-25432 | X is the nephew of Y if, only if there exists Z such that Z is a sibling of Y, and X is the son of Z |
| (=> (fathersBrothersSon ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 671-677 | If X is the father's brother's son of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the son of Y |
| (=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 699-705 | If the mother's brother's son of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the son of Y |
| (=> (fathersSistersSon ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 727-733 | If X is the father's sister's son of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the son of Y |
| (=> (mothersSistersSon ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 755-761 | If the mother's sister's son of X is Y, then there exist Z, W such that Z is a mother of X, Z is the sister of W, and W is the son of Y |
|