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 16452-16454 | |
(domain son 1 Organism) | Merge.kif 16450-16450 | 儿子 的 1 数量 是 生物 的 instance |
(domain son 2 Organism) | Merge.kif 16451-16451 | 儿子 的 2 数量 是 生物 的 instance |
(instance son BinaryPredicate) | Merge.kif 16449-16449 | 儿子 是 二元谓语 的 instance |
(subrelation son parent) | Merge.kif 16448-16448 | 儿子 是 父母 的 subrelation |
appearance as argument number 2 |
(format ChineseLanguage son "%1 是 %2 的 son ") | domainEnglishFormat.kif 4570-4570 | |
(format ChineseTraditionalLanguage son "%1 是 %2 的 son ") | domainEnglishFormat.kif 4569-4569 | |
(format EnglishLanguage son "%1 is the son of %2") | domainEnglishFormat.kif 4568-4568 | |
(termFormat ChineseLanguage son "儿子") | domainEnglishFormat.kif 53940-53940 | |
(termFormat ChineseTraditionalLanguage son "兒子") | domainEnglishFormat.kif 53939-53939 | |
(termFormat EnglishLanguage son "son") | domainEnglishFormat.kif 53938-53938 |
antecedent |
(=> (son ?CHILD ?PARENT) (attribute ?CHILD Male)) |
Merge.kif 16456-16458 |
consequent |
(<=> (nephew ?N ?H) (exists (?S) (and (sibling ?S ?H) (son ?N ?S)))) |
Mid-level-ontology.kif 23109-23114 | 人 是 人类 的 nephew 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 人 是 那个 生物 的 son |
(=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Man)) (son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 23027-23031 | |
(=> (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 |