Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| cohabitant |
| appearance as argument number 1 |
|
| (instance cohabitant BinaryPredicate) | Mid-level-ontology.kif 25294-25294 | cohabitant is an instance of binary predicate |
| (instance cohabitant SymmetricRelation) | Mid-level-ontology.kif 25295-25295 | cohabitant is an instance of symmetric relation |
| (instance cohabitant IntentionalRelation) | Mid-level-ontology.kif 25296-25296 | cohabitant is an instance of intentional relation |
| (documentation cohabitant EnglishLanguage "(holdsDuring ?T1 (cohabitant ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 have the same home.") | Mid-level-ontology.kif 25298-25299 | cohabitant is an instance of intentional relation |
| (domain cohabitant 1 Human) | Mid-level-ontology.kif 25301-25301 | The number 1 argument of cohabitant is an instance of human |
| (domain cohabitant 2 Human) | Mid-level-ontology.kif 25302-25302 | The number 2 argument of cohabitant is an instance of human |
| (subrelation cohabitant mutualAcquaintance) | Mid-level-ontology.kif 25304-25304 | cohabitant is a subrelation of mutual acquaintance |
| appearance as argument number 2 |
|
|
| (subrelation domesticPartner cohabitant) | Mid-level-ontology.kif 25692-25692 | domestic partner is a subrelation of cohabitant |
| (format EnglishLanguage cohabitant "%2 is %n a cohabitant of %1") | domainEnglishFormat.kif 470-470 | domestic partner is a subrelation of cohabitant |
| (format ChineseTraditionalLanguage cohabitant "%2 %n 是 %1 的 cohabitant ") | domainEnglishFormat.kif 471-471 | domestic partner is a subrelation of cohabitant |
| (format ChineseLanguage cohabitant "%2 %n 是 %1 的 cohabitant ") | domainEnglishFormat.kif 472-472 | domestic partner is a subrelation of cohabitant |
| (termFormat EnglishLanguage cohabitant "cohabitant") | domainEnglishFormat.kif 15512-15512 | domestic partner is a subrelation of cohabitant |
| (termFormat ChineseTraditionalLanguage cohabitant "同居") | domainEnglishFormat.kif 15513-15513 | domestic partner is a subrelation of cohabitant |
| (termFormat ChineseLanguage cohabitant "同居") | domainEnglishFormat.kif 15514-15514 | domestic partner is a subrelation of cohabitant |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))))) |
Mid-level-ontology.kif 25306-25314 | If X is a cohabitant of Y holds during Z, then there exists W such that W is an instance of social unit, W is a member of Y, and W is a member of X holds during Z |
| (=> (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 25504-25520 | If X is a parent of Y, Z is a parent of Y, and X is the spouse of Z, Z is a cohabitant of X, and X is a cohabitant of Y holds during W, then there exists V such that V is an instance of nuclear family, Y is a member of V, X is a member of V, and Z is a member of V holds during W |
| consequent |
|
|
| (=> (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))) (holdsDuring ?T1 (cohabitant ?H1 ?H2))) |
Mid-level-ontology.kif 25316-25324 | If X is an instance of social unit and X is a member of Y and X is a member of Z holds during W, then Z is a cohabitant of Y holds during W |
|