Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| husband |
| appearance as argument number 1 |
|
| (instance husband BinaryPredicate) | Merge.kif 16927-16927 | husband is an instance of binary predicate |
| (instance husband IrreflexiveRelation) | Merge.kif 16928-16928 | husband is an instance of irreflexive relation |
| (instance husband PartialValuedRelation) | Merge.kif 16929-16929 | husband is an instance of partial valued relation |
| (domain husband 1 Man) | Merge.kif 16930-16930 | The number 1 argument of husband is an instance of man |
| (domain husband 2 Woman) | Merge.kif 16931-16931 | The number 2 argument of husband is an instance of woman |
| (inverse husband wife) | Merge.kif 16932-16932 | husband is an inverse of wife |
| (documentation husband EnglishLanguage "(husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.") | Merge.kif 16933-16934 | husband is an inverse of wife |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
|