| appearance as argument number 1 |
|
| (disjointRelation spouse domesticPartner) | Mid-level-ontology.kif 25014-25014 | |
| (documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") | chinese_format.kif 3713-3713 | |
| (documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") | Merge.kif 16739-16740 | |
| (domain spouse 1 Human) | Merge.kif 16737-16737 | |
| (domain spouse 2 Human) | Merge.kif 16738-16738 | |
| (instance spouse IrreflexiveRelation) | Merge.kif 16734-16734 | |
| (instance spouse PartialValuedRelation) | Merge.kif 16736-16736 | |
| (instance spouse SymmetricRelation) | Merge.kif 16735-16735 | |
| (subrelation spouse legalRelation) | Merge.kif 16733-16733 | |
| (subrelation spouse mutualAcquaintance) | Merge.kif 16731-16731 | |
| (subrelation spouse relative) | Merge.kif 16497-16497 |
| 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 | |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 24810-24817 | |
| (=> (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 |
|
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