| appearance as argument number 1 |
|
| (disjointRelation spouse domesticPartner) | Mid-level-ontology.kif 25033-25033 | |
| (documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") | chinese_format.kif 3713-3713 | |
| (documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") | Merge.kif 16724-16725 | |
| (domain spouse 1 Human) | Merge.kif 16722-16722 | |
| (domain spouse 2 Human) | Merge.kif 16723-16723 | |
| (instance spouse IrreflexiveRelation) | Merge.kif 16719-16719 | |
| (instance spouse PartialValuedRelation) | Merge.kif 16721-16721 | |
| (instance spouse SymmetricRelation) | Merge.kif 16720-16720 | |
| (subrelation spouse legalRelation) | Merge.kif 16718-16718 | |
| (subrelation spouse mutualAcquaintance) | Merge.kif 16716-16716 | |
| (subrelation spouse relative) | Merge.kif 16482-16482 |
| 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 54831-54831 | |
| (termFormat ChineseTraditionalLanguage spouse "伴侶") | domainEnglishFormat.kif 54830-54830 | |
| (termFormat EnglishLanguage spouse "spouse") | domainEnglishFormat.kif 54829-54829 |
| 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 9158-9168 | |
| (=> (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 24846-24862 |
| consequent |
|
|
| (<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 24812-24819 | |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 24829-24836 | |
| (=> (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 23967-23981 | |
| (=> (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 9151-9156 | |
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 15559-15565 |
|
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