| appearance as argument number 1 |
|
| (disjointRelation spouse domesticPartner) | Mid-level-ontology.kif 23425-23425 | 伴侣 和 国内的合作伙伴 是 disjoint 关系 |
| (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 | 伴侣 的 1 数量 是 人类 的 instance |
| (domain spouse 2 Human) | Merge.kif 16634-16634 | 伴侣 的 2 数量 是 人类 的 instance |
| (instance spouse IrreflexiveRelation) | Merge.kif 16630-16630 | 伴侣 是 非自反关系 的 instance |
| (instance spouse PartialValuedRelation) | Merge.kif 16632-16632 | 伴侣 是 部分值关系 的 instance |
| (instance spouse SymmetricRelation) | Merge.kif 16631-16631 | 伴侣 是 对称关系 的 instance |
| (subrelation spouse legalRelation) | Merge.kif 16629-16629 | 伴侣 是 法律关系 的 subrelation |
| (subrelation spouse mutualAcquaintance) | Merge.kif 16627-16627 | 伴侣 是 相识熟人 的 subrelation |
| (subrelation spouse relative) | Merge.kif 16393-16393 | 伴侣 是 相对的 的 subrelation |
| 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 54800-54800 | |
| (termFormat ChineseTraditionalLanguage spouse "伴侶") | domainEnglishFormat.kif 54799-54799 | |
| (termFormat EnglishLanguage spouse "spouse") | domainEnglishFormat.kif 54798-54798 |
| 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 7999-8009 | |
| (=> (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 23238-23254 |
|
| consequent |
|
|
| (<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 23204-23211 | 人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 的 mother 和 那个 人 是 那个 另外 人类 的 spouse 和 那个 人 不 是 那个 人类 father |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 23221-23228 | 女人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 father 和 那个 女人 是 那个 另外 人类 的 spouse 和 那个 女人 不 是 那个 人类 的 mother |
| (=> (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 22359-22373 | |
| (=> (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 7992-7997 | |
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14197-14203 |
|
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