| 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 16600-16602 | |
| (domain daughter 1 Organism) | Merge.kif 16598-16598 | Le nombre 1 argument de daughter est une instance de organisme |
| (domain daughter 2 Organism) | Merge.kif 16599-16599 | Le nombre 2 argument de daughter est une instance de organisme |
| (instance daughter BinaryPredicate) | Merge.kif 16596-16596 | daughter est une instance de pr�dicat binaire |
| (subrelation daughter parent) | Merge.kif 16597-16597 | daughter est une sous-relation de parent |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage daughter "%1 是 %2 的 daughter ") | domainEnglishFormat.kif 3162-3162 | |
| (format ChineseTraditionalLanguage daughter "%1 是 %2 的 daughter ") | domainEnglishFormat.kif 3161-3161 | |
| (format EnglishLanguage daughter "%1 is the daughter of %2") | domainEnglishFormat.kif 3160-3160 | |
| (termFormat ChineseLanguage daughter "女儿") | domainEnglishFormat.kif 18657-18657 | |
| (termFormat ChineseTraditionalLanguage daughter "女兒") | domainEnglishFormat.kif 18656-18656 | |
| (termFormat EnglishLanguage daughter "daughter") | domainEnglishFormat.kif 18655-18655 |
| antecedent |
|
|
| (=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 16604-16606 |
| consequent |
|
|
| (<=> (niece ?N ?H) (exists (?S) (and (sibling ?S ?H) (daughter ?N ?S)))) |
Mid-level-ontology.kif 24766-24771 | niece Woman and humain organisme organisme est un fr�re ou une soeur de humain daughter Woman and organisme |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 24676-24680 | |
| (=> (fathersBrothersDaughter ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 686-692 | |
| (=> (fathersSistersDaughter ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 742-748 | |
| (=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 714-720 | |
| (=> (mothersSistersDaughter ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 770-776 |
|
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 3.0 is open source software produced by Articulate Software and its partners