| appearance as argument number 1 |
|
| (disjointRelation spouse domesticPartner) | Mid-level-ontology.kif 23372-23372 | 不相交的關係 伴侶 and 國內的合作夥伴 |
| (documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") | chinese_format.kif 3713-3713 | |
| (documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") | Merge.kif 16586-16587 | |
| (domain spouse 1 Human) | Merge.kif 16584-16584 | 域 伴侶, 1 and Human |
| (domain spouse 2 Human) | Merge.kif 16585-16585 | 域 伴侶, 2 and Human |
| (instance spouse IrreflexiveRelation) | Merge.kif 16581-16581 | 例 伴侶 and IrreflexiveRelation |
| (instance spouse PartialValuedRelation) | Merge.kif 16583-16583 | 例 伴侶 and PartialValuedRelation |
| (instance spouse SymmetricRelation) | Merge.kif 16582-16582 | 例 伴侶 and SymmetricRelation |
| (subrelation spouse legalRelation) | Merge.kif 16580-16580 | 子關係 伴侶 and 法律關係 |
| (subrelation spouse mutualAcquaintance) | Merge.kif 16578-16578 | 子關係 伴侶 and 相識熟人 |
| (subrelation spouse relative) | Merge.kif 16344-16344 | 子關係 伴侶 and 相對的 |
| 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 54798-54798 | |
| (termFormat ChineseTraditionalLanguage spouse "伴侶") | domainEnglishFormat.kif 54797-54797 | |
| (termFormat EnglishLanguage spouse "spouse") | domainEnglishFormat.kif 54796-54796 |
| 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 7971-7981 | |
| (=> (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 23185-23201 |
| consequent |
|
|
| (<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 23151-23158 | 人 是 Human 的 stepfather Human 母親 Human and Human 人 是 Human 的 spouse 父親 Human and 人 |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 23168-23175 | 女人 是 Human 的 stepfather Human 父親 Human and Human 女人 是 Human 的 spouse 母親 Human and 女人 |
| (=> (attribute ?P PrinceConsort) (exists (?QUEEN ?PLACE) (and (chiefOfState ?PLACE QueenRegnant ?QUEEN) (spouse ?QUEEN ?P)))) |
Government.kif 1426-1431 | |
| (=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1415-1420 |
|
| (=> (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 22306-22320 |
|
| (=> (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 1025-1034 |
|
| (=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 7964-7969 | |
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14169-14175 |
|
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