Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| daughter |
| appearance as argument number 1 |
|
| (instance daughter BinaryPredicate) | Merge.kif 16795-16795 | daughter is an instance of binary predicate |
| (subrelation daughter parent) | Merge.kif 16796-16796 | daughter is a subrelation of parent |
| (domain daughter 1 Organism) | Merge.kif 16797-16797 | The number 1 argument of daughter is an instance of organism |
| (domain daughter 2 Organism) | Merge.kif 16798-16798 | The number 2 argument of daughter is an instance of organism |
| (documentation daughter EnglishLanguage "The general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.") | Merge.kif 16799-16801 | The number 2 argument of daughter is an instance of organism |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 16803-16805 | If X is the daughter of Y, then female is an attribute of X |
| consequent |
|
|
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25351-25355 | If X is a parent of Y and Y is an instance of woman, then Y is the daughter of X |
| (<=> (niece ?N ?H) (exists (?S) (and (sibling ?S ?H) (daughter ?N ?S)))) |
Mid-level-ontology.kif 25441-25446 | X is the niece of Y if, only if there exists Z such that Z is a sibling of Y, and X is the daughter of Z |
| (=> (fathersBrothersDaughter ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 685-691 | If X is the father's brother's daughter 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 daughter of Y |
| (=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 713-719 | If the mother's brother's daughter 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 daughter of Y |
| (=> (fathersSistersDaughter ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 741-747 | If X is the father's sister's daughter 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 daughter of Y |
| (=> (mothersSistersDaughter ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 769-775 | If the mother's sister's daughter 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 daughter of Y |
|