spouse |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage spouse "%1 是 %2 的 spouse ") | domainEnglishFormat.kif 4598-4598 | |
(format ChineseTraditionalLanguage spouse "%1 是 %2 的 spouse ") | domainEnglishFormat.kif 4597-4597 | |
(format EnglishLanguage spouse "%1 is the spouse of %2") | domainEnglishFormat.kif 4596-4596 | |
(termFormat ChineseLanguage spouse "伴侣") | domainEnglishFormat.kif 54802-54802 | |
(termFormat ChineseTraditionalLanguage spouse "伴侶") | domainEnglishFormat.kif 54801-54801 | |
(termFormat EnglishLanguage spouse "spouse") | domainEnglishFormat.kif 54800-54800 |
antecedent |
![]() |
(=> (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (instance ?T1 TimeInterval)) (exists (?WED) (and (instance ?WED Wedding) (patient ?WED ?P1) (patient ?WED ?P2) (earlier (WhenFn ?WED) ?T1)))) |
Mid-level-ontology.kif 9139-9149 | |
(=> (and (instance ?TEXT MarriageCertificate) (instance ?A Human) (instance ?B Human) (spouse ?A ?B)) (containsFormula ?TEXT (exists (?DAY) (and (weddingdate ?A ?B ?DAY) (instance ?DAY Day))))) |
Biography.kif 315-325 |
|
(=> (and (parent ?CHILD ?PARENT1) (parent ?CHILD ?PARENT2) (holdsDuring ?T1 (and (spouse ?PARENT1 ?PARENT2) (cohabitant ?PARENT1 ?PARENT2) (cohabitant ?CHILD ?PARENT1)))) (exists (?FAM) (and (instance ?FAM NuclearFamily) (holdsDuring ?T1 (and (member ?CHILD ?FAM) (member ?PARENT1 ?FAM) (member ?PARENT2 ?FAM)))))) |
Mid-level-ontology.kif 24827-24843 |
consequent |
![]() |
(<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 24793-24800 | stepfather 人[人間] and Man 人[人間] 人[人間] は 人[人間] の mother では spouse Man and 人[人間] Man は 人[人間] の father では |
(<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 24810-24817 | stepmother 人[人間] and Woman 人[人間] 人[人間] は 人[人間] の father では spouse Woman and 人[人間] Woman は 人[人間] の mother では |
(=> (attribute ?P PrinceConsort) (exists (?QUEEN ?PLACE) (and (chiefOfState ?PLACE QueenRegnant ?QUEEN) (spouse ?QUEEN ?P)))) |
Government.kif 1388-1393 |
|
(=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1377-1382 | |
(=> (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 23948-23962 | |
(=> (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 1018-1027 | |
(=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 9132-9137 | |
(=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 15541-15547 |
![]() |
![]() |