wife |
appearance as argument number 1 |
![]() |
(documentation wife ChineseLanguage "(wife ?WOMAN ?MAN)的意思是 ?WOMAN 是 ?MAN 的妻子。") | chinese_format.kif 3716-3716 | |
(documentation wife EnglishLanguage "(wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.") | Merge.kif 16759-16760 | |
(domain wife 1 Woman) | Merge.kif 16757-16757 | The number 1 argument of wife is an instance of woman |
(domain wife 2 Man) | Merge.kif 16758-16758 | The number 2 argument of wife is an instance of man |
(instance wife AsymmetricRelation) | Merge.kif 16754-16754 | wife is an instance of asymmetric relation |
(instance wife BinaryPredicate) | Merge.kif 16756-16756 | wife is an instance of binary predicate |
(instance wife IrreflexiveRelation) | Merge.kif 16755-16755 | wife is an instance of irreflexive relation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage wife "%1 是 %2 的 wife ") | domainEnglishFormat.kif 4998-4998 | |
(format ChineseTraditionalLanguage wife "%1 是 %2 的 wife ") | domainEnglishFormat.kif 4997-4997 | |
(format EnglishLanguage wife "%1 is the wife of %2") | domainEnglishFormat.kif 4996-4996 | |
(inverse husband wife) | Merge.kif 16749-16749 | husband is an inverse of wife |
(termFormat ChineseLanguage wife "妻子") | domainEnglishFormat.kif 63075-63075 | husband is an inverse of wife |
(termFormat ChineseTraditionalLanguage wife "妻子") | domainEnglishFormat.kif 63074-63074 | husband is an inverse of wife |
(termFormat EnglishLanguage wife "wife") | domainEnglishFormat.kif 63073-63073 | husband is an inverse of wife |
consequent |
![]() |
![]() |
![]() |