Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| fathersBrothersWife |
| appearance as argument number 1 |
|
| (instance fathersBrothersWife BinaryPredicate) | ArabicCulture.kif 609-609 | fathers brothers wife is an instance of binary predicate |
| (subrelation fathersBrothersWife familyRelation) | ArabicCulture.kif 610-610 | fathers brothers wife is a subrelation of family relation |
| (domain fathersBrothersWife 1 Organism) | ArabicCulture.kif 611-611 | The number 1 argument of fathers brothers wife is an instance of organism |
| (domain fathersBrothersWife 2 Organism) | ArabicCulture.kif 612-612 | The number 2 argument of fathers brothers wife is an instance of organism |
| (documentation fathersBrothersWife EnglishLanguage "In Arabic: zawojap AlEam~. Wife of father's brother.") | ArabicCulture.kif 613-614 | The number 2 argument of fathers brothers wife is an instance of organism |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage fathersBrothersWife "%1 is the father's brother's wife of %2") | domainEnglishFormat.kif 3406-3406 | |
| (format ChineseTraditionalLanguage fathersBrothersWife "%1 是 %2 的 father's brother's wife ") | domainEnglishFormat.kif 3407-3407 | |
| (format ChineseLanguage fathersBrothersWife "%1 是 %2 的 father's brother's wife ") | domainEnglishFormat.kif 3408-3408 | |
| (termFormat EnglishLanguage fathersBrothersWife "fathers brothers wife") | domainEnglishFormat.kif 23374-23374 | |
| (termFormat ChineseTraditionalLanguage fathersBrothersWife "父親兄弟的妻子") | domainEnglishFormat.kif 23375-23375 | |
| (termFormat ChineseLanguage fathersBrothersWife "父亲兄弟的妻子") | domainEnglishFormat.kif 23376-23376 |
| antecedent |
|
|
| (=> (fathersBrothersWife ?P ?W) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 615-621 | If X is the father's brother's wife 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 wife of Y |
|