| appearance as argument number 1 |
|
| (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 23263-23264 | |
| (domain cohabitant 1 Human) | Mid-level-ontology.kif 23266-23266 | |
| (domain cohabitant 2 Human) | Mid-level-ontology.kif 23267-23267 | |
| (instance cohabitant BinaryPredicate) | Mid-level-ontology.kif 23259-23259 | |
| (instance cohabitant IntentionalRelation) | Mid-level-ontology.kif 23261-23261 | |
| (instance cohabitant SymmetricRelation) | Mid-level-ontology.kif 23260-23260 | |
| (subrelation cohabitant mutualAcquaintance) | Mid-level-ontology.kif 23269-23269 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage cohabitant "%2 %n 是 %1 的 cohabitant ") | domainEnglishFormat.kif 472-472 | |
| (format ChineseTraditionalLanguage cohabitant "%2 %n 是 %1 的 cohabitant ") | domainEnglishFormat.kif 471-471 | |
| (format EnglishLanguage cohabitant "%2 is %n a cohabitant of %1") | domainEnglishFormat.kif 470-470 | |
| (subrelation domesticPartner cohabitant) | Mid-level-ontology.kif 23657-23657 | |
| (termFormat ChineseLanguage cohabitant "同居") | domainEnglishFormat.kif 15523-15523 | |
| (termFormat ChineseTraditionalLanguage cohabitant "同居") | domainEnglishFormat.kif 15522-15522 | |
| (termFormat EnglishLanguage cohabitant "cohabitant") | domainEnglishFormat.kif 15521-15521 |
| antecedent |
|
|
| (=> (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 23469-23485 | |
| (=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))))) |
Mid-level-ontology.kif 23271-23279 |
| consequent |
|
|
| (=> (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))) (holdsDuring ?T1 (cohabitant ?H1 ?H2))) |
Mid-level-ontology.kif 23281-23289 |
|
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