Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| sister |
| appearance as argument number 1 |
|
| (subrelation sister sibling) | Merge.kif 16867-16867 | sister is a subrelation of sibling |
| (instance sister IrreflexiveRelation) | Merge.kif 16868-16868 | sister is an instance of irreflexive relation |
| (instance sister TransitiveRelation) | Merge.kif 16869-16869 | sister is an instance of transitive relation |
| (instance sister PartialValuedRelation) | Merge.kif 16870-16870 | sister is an instance of partial valued relation |
| (domain sister 1 Woman) | Merge.kif 16871-16871 | The number 1 argument of sister is an instance of woman |
| (domain sister 2 Human) | Merge.kif 16872-16872 | The number 2 argument of sister is an instance of human |
| (documentation sister EnglishLanguage "The general relationship of being a sister. (sister ?WOMAN ?PERSON) means that ?WOMAN is the sister of ?PERSON.") | Merge.kif 16873-16874 | The number 2 argument of sister is an instance of human |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (aunt ?A ?H) (exists (?P) (and (sister ?A ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 25364-25369 | X is the aunt of Y if, only if there exists Z such that X is the sister of Z, and Z is a parent of Y |
| (=> (paternalAunt ?P ?AUN) (exists (?F) (and (father ?P ?F) (sister ?F ?AUN)))) |
ArabicCulture.kif 589-594 | If the paternal aunt of X is Y, then there exists Z such that Z is a father of X and Z is the sister of Y |
| (=> (maternalAunt ?P ?AUN) (exists (?M) (and (mother ?P ?M) (sister ?M ?AUN)))) |
ArabicCulture.kif 602-607 | If the maternal aunt of X is Y, then there exists Z such that Z is a mother of X and Z is the sister of Y |
| (=> (fathersSistersHusband ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 643-649 | If X is the father's sister's husband 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 husband of Y |
| (=> (mothersSistersHusband ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 657-663 | If the mother's sister's husband 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 husband 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 |
| (=> (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 |
| (=> (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 |
| (=> (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 |
|