| appearance as argument number 1 |
|
| (disjointRelation spouse domesticPartner) | Mid-level-ontology.kif 23656-23656 | |
| (documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") | chinese_format.kif 3713-3713 | |
| (documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") | Merge.kif 16635-16636 | |
| (domain spouse 1 Human) | Merge.kif 16633-16633 | |
| (domain spouse 2 Human) | Merge.kif 16634-16634 | |
| (instance spouse IrreflexiveRelation) | Merge.kif 16630-16630 | |
| (instance spouse PartialValuedRelation) | Merge.kif 16632-16632 | |
| (instance spouse SymmetricRelation) | Merge.kif 16631-16631 | |
| (subrelation spouse legalRelation) | Merge.kif 16629-16629 | |
| (subrelation spouse mutualAcquaintance) | Merge.kif 16627-16627 | |
| (subrelation spouse relative) | Merge.kif 16393-16393 |
| 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 54833-54833 | |
| (termFormat ChineseTraditionalLanguage spouse "伴侶") | domainEnglishFormat.kif 54832-54832 | |
| (termFormat EnglishLanguage spouse "spouse") | domainEnglishFormat.kif 54831-54831 |
| 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 8190-8200 | |
| (=> (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 307-317 | |
| (=> (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 23469-23485 |
| consequent |
|
|
| (<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 23435-23442 | |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 23452-23459 | |
| (=> (attribute ?P PrinceConsort) (exists (?QUEEN ?PLACE) (and (chiefOfState ?PLACE QueenRegnant ?QUEEN) (spouse ?QUEEN ?P)))) |
Government.kif 1390-1395 | |
| (=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1379-1384 | |
| (=> (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 22590-22604 | |
| (=> (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 8183-8188 | |
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14388-14394 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners