Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| spouse |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| 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 9293-9303 | If X is the spouse of Y holds during Z and Z is an instance of timeframe, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, and the time of existence of W happens earlier than Z |
| (=> (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 25504-25520 | If X is a parent of Y, Z is a parent of Y, and X is the spouse of Z, Z is a cohabitant of X, and X is a cohabitant of Y holds during W, then there exists V such that V is an instance of nuclear family, Y is a member of V, X is a member of V, and Z is a member of V holds during W |
| (=> (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 | If X is an instance of marriage certificate, Y is an instance of human, Z is an instance of human, and Y is the spouse of Z, then X contains the formula there exists W such that Y, Z were married on W, and W is an instance of day |
| consequent |
|
|
| (=> (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 1015-1024 | If X is an instance of divorcing, then there exist Y, Z,, , W, V such that Y is the spouse of Z holds during W, Y is the spouse of Z holds during V, W finishes X, and V starts X |
| (=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 9286-9291 | If X is an instance of wedding, then there exist Y and Z such that Y is the spouse of Z holds during immediately after the time of existence of X |
| (=> (instance ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 15774-15780 | If X is an instance of marriage contract, then there exist Y, Z such that X is a party to agreement of Y, X is a party to agreement of Z, and Y is the spouse of Z |
| (=> (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 24586-24600 | If widowed woman is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is the spouse of X holds during Z, and dead is an attribute of W holds during Y and there doesn't exist V such that V is the spouse of X holds during Y |
| (<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 25470-25477 | X is the stepfather of Y if, only if there exists Z such that Z is a mother of Y, X is the spouse of Z, and X is not a father of Y |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 25487-25494 | X is the stepfather of Y if, only if there exists Z such that Z is a father of Y, X is the spouse of Z, and X is not a mother of Y |
| (=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1386-1391 | If Queen consort is an attribute of X, then there exist Y, Z such that Z chief of state king for Y, and Y is the spouse of X |
| (=> (attribute ?P PrinceConsort) (exists (?QUEEN ?PLACE) (and (chiefOfState ?PLACE QueenRegnant ?QUEEN) (spouse ?QUEEN ?P)))) |
Government.kif 1397-1402 | If prince consort is an attribute of X, then there exist Y, Z such that Z chief of state Queen regnant for Y, and Y is the spouse of X |
|