daughter |
appearance as argument number 1 |
(documentation daughter ChineseLanguage "这是女儿的概括关系。(daughter ?CHILD ?PARENT)的意思 是 ?CHILD 是 ?PARENT 的亲生女儿。") | chinese_format.kif 3695-3696 | |
(documentation daughter EnglishLanguage "The general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.") | Merge.kif 16511-16513 | |
(domain daughter 1 Organism) | Merge.kif 16509-16509 | The number 1 argument of daughter is an instance of organism |
(domain daughter 2 Organism) | Merge.kif 16510-16510 | The number 2 argument of daughter is an instance of organism |
(instance daughter BinaryPredicate) | Merge.kif 16507-16507 | daughter is an instance of binary predicate |
(subrelation daughter parent) | Merge.kif 16508-16508 | daughter is a subrelation of parent |
appearance as argument number 2 |
(format ChineseLanguage daughter "%1 是 %2 的 daughter ") | domainEnglishFormat.kif 3166-3166 | |
(format ChineseTraditionalLanguage daughter "%1 是 %2 的 daughter ") | domainEnglishFormat.kif 3165-3165 | |
(format EnglishLanguage daughter "%1 is the daughter of %2") | domainEnglishFormat.kif 3164-3164 | |
(termFormat ChineseLanguage daughter "女儿") | domainEnglishFormat.kif 18648-18648 | |
(termFormat ChineseTraditionalLanguage daughter "女兒") | domainEnglishFormat.kif 18647-18647 | |
(termFormat EnglishLanguage daughter "daughter") | domainEnglishFormat.kif 18646-18646 |
antecedent |
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 16515-16517 |
|
consequent |
(<=> (niece ?N ?H) (exists (?S) (and (sibling ?S ?H) (daughter ?N ?S)))) |
Mid-level-ontology.kif 23175-23180 | A woman is the niece of a human if and only if there exists an organism such that the organism is a sibling of the human and the woman is the daughter of the organism |
(=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 23085-23089 |
|
(=> (fathersBrothersDaughter ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 666-672 |
|
(=> (fathersSistersDaughter ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 714-720 |
|
(=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 690-696 |
|
(=> (mothersSistersDaughter ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 738-744 |
|