spouse |
appearance as argument number 1 |
(disjointRelation spouse domesticPartner) | Mid-level-ontology.kif 23373-23373 | spouse et domesticPartner sont disjoint |
(documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") | chinese_format.kif 3713-3713 | |
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") | Merge.kif 16564-16565 | |
(domain spouse 1 Human) | Merge.kif 16562-16562 | Le nombre 1 argument de spouse est une instance de humain |
(domain spouse 2 Human) | Merge.kif 16563-16563 | Le nombre 2 argument de spouse est une instance de humain |
(instance spouse IrreflexiveRelation) | Merge.kif 16559-16559 | spouse est une instance de relation irr�flexive |
(instance spouse PartialValuedRelation) | Merge.kif 16561-16561 | spouse est une instance de relation partielle |
(instance spouse SymmetricRelation) | Merge.kif 16560-16560 | spouse est une instance de relation sym�trique |
(subrelation spouse legalRelation) | Merge.kif 16558-16558 | spouse est une sous-relation de legalRelation |
(subrelation spouse mutualAcquaintance) | Merge.kif 16556-16556 | spouse est une sous-relation de mutualAcquaintance |
(subrelation spouse relative) | Merge.kif 16322-16322 | spouse est une sous-relation de relative |
appearance as argument number 2 |
(format ChineseLanguage spouse "%1 是 %2 的 spouse ") | domainEnglishFormat.kif 4594-4594 | |
(format ChineseTraditionalLanguage spouse "%1 是 %2 的 spouse ") | domainEnglishFormat.kif 4593-4593 | |
(format EnglishLanguage spouse "%1 is the spouse of %2") | domainEnglishFormat.kif 4592-4592 | |
(termFormat ChineseLanguage spouse "伴侣") | domainEnglishFormat.kif 54798-54798 | |
(termFormat ChineseTraditionalLanguage spouse "伴侶") | domainEnglishFormat.kif 54797-54797 | |
(termFormat EnglishLanguage spouse "spouse") | domainEnglishFormat.kif 54796-54796 |
antecedent |
consequent |
(<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 23152-23159 | stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain |
(<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 23169-23176 | stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain |
(=> (attribute ?P PrinceConsort) (exists (?QUEEN ?PLACE) (and (chiefOfState ?PLACE QueenRegnant ?QUEEN) (spouse ?QUEEN ?P)))) |
Government.kif 1426-1431 |
|
(=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1415-1420 |
|
(=> (holdsDuring ?NOW (attribute ?P Widowed)) (and (exists (?BEFORE ?SPOUSE) (and (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (spouse ?SPOUSE ?P)) (holdsDuring ?NOW (attribute ?SPOUSE Dead)))) (not (exists (?OTHER) (holdsDuring ?NOW (spouse ?OTHER ?P)))))) |
Mid-level-ontology.kif 22307-22321 |
|
(=> (instance ?D Divorcing) (exists (?P1 ?P2 ?T1 ?T2) (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (holdsDuring ?T2 (not (spouse ?P1 ?P2))) (finishes ?T1 ?D) (starts ?T2 ?D)))) |
Mid-level-ontology.kif 1025-1034 | |
(=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 7965-7970 | |
(=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14170-14176 |