Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| wife |
| appearance as argument number 1 |
|
| (instance wife IrreflexiveRelation) | Merge.kif 16937-16937 | wife is an instance of irreflexive relation |
| (instance wife BinaryPredicate) | Merge.kif 16938-16938 | wife is an instance of binary predicate |
| (domain wife 1 Woman) | Merge.kif 16939-16939 | The number 1 argument of wife is an instance of woman |
| (domain wife 2 Man) | Merge.kif 16940-16940 | 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 16941-16942 | The number 2 argument of wife is an instance of man |
| appearance as argument number 2 |
|
|
| (inverse husband wife) | Merge.kif 16932-16932 | 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 22829-22832 | 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 615-621 | 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 629-635 | 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 |
|