| appearance as argument number 1 |
|
| (instance wife AsymmetricRelation) | Merge.kif 16779-16779 | wife is an instance of asymmetric relation |
| (instance wife IrreflexiveRelation) | Merge.kif 16780-16780 | wife is an instance of irreflexive relation |
| (instance wife BinaryPredicate) | Merge.kif 16781-16781 | wife is an instance of binary predicate |
| (domain wife 1 Woman) | Merge.kif 16782-16782 | The number 1 argument of wife is an instance of woman |
| (domain wife 2 Man) | Merge.kif 16783-16783 | The number 2 argument of wife is an instance of man |
| (documentation wife EnglishLanguage "(wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.") | Merge.kif 16784-16785 | The number 2 argument of wife is an instance of man |
| appearance as argument number 2 |
|
|
| (inverse husband wife) | Merge.kif 16774-16774 | husband is an inverse of wife |
| (format EnglishLanguage wife "%1 is the wife of %2") | domainEnglishFormat.kif 4996-4996 | husband is an inverse of wife |
| (format ChineseTraditionalLanguage wife "%1 是 %2 的 wife ") | domainEnglishFormat.kif 4997-4997 | husband is an inverse of wife |
| (format ChineseLanguage wife "%1 是 %2 的 wife ") | domainEnglishFormat.kif 4998-4998 | husband is an inverse of wife |
| (termFormat EnglishLanguage wife "wife") | domainEnglishFormat.kif 63082-63082 | husband is an inverse of wife |
| (termFormat ChineseTraditionalLanguage wife "妻子") | domainEnglishFormat.kif 63083-63083 | husband is an inverse of wife |
| (termFormat ChineseLanguage wife "妻子") | domainEnglishFormat.kif 63084-63084 | husband is an inverse of wife |
| consequent |
|
|
| (=> (attribute ?W Housewife) (exists (?H) (wife ?W ?H))) |
Mid-level-ontology.kif 22895-22898 | If housewife is an attribute of X, then there exists Y such that X is the wife of Y |
| (=> (instance ?MS MuakharSadaq) (exists (?H ?W ?T1 ?T2) (and (agent ?MS ?H) (origin ?MS ?H) (destination ?MS ?W) (holdsDuring ?T1 (wife ?W ?H)) (not (holdsDuring ?T2 (wife ?W ?H))) (finishes ?T1 ?MS) (before ?T1 ?T2) (starts ?T2 ?MS)))) |
ArabicCulture.kif 285-299 | If X is an instance of muakhar sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y holds during W (6) Z is the wife of Y doesn't hold during V (7) W finishes X (8) W happens before V (9) V starts X |
| (=> (instance ?MS MuqaddamSadaq) (exists (?H ?W ?T1 ?T2) (and (agent ?MS ?H) (origin ?MS ?H) (destination ?MS ?W) (not (holdsDuring ?T1 (wife ?W ?H))) (holdsDuring ?T2 (wife ?W ?H)) (finishes ?T1 ?MS) (before ?T1 ?T2) (starts ?T2 ?MS)))) |
ArabicCulture.kif 305-319 | If X is an instance of muqaddam sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y doesn't hold during W (6) Z is the wife of Y holds during V (7) W finishes X (8) W happens before V (9) V starts X |
| (=> (fathersBrothersWife ?P ?W) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 616-622 | If X is the father's brother's wife of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the wife of Y |
| (=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 630-636 | If the mother's brother's wife of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the wife of Y |
|
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