| 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 24621-24622 | |
| (domain cohabitant 1 Human) | Mid-level-ontology.kif 24624-24624 | cohabitant の数値 1 引数は 人［人間］ の instance では |
| (domain cohabitant 2 Human) | Mid-level-ontology.kif 24625-24625 | cohabitant の数値 2 引数は 人［人間］ の instance では |
| (instance cohabitant BinaryPredicate) | Mid-level-ontology.kif 24617-24617 | cohabitant は 2進述語 の instance では |
| (instance cohabitant IntentionalRelation) | Mid-level-ontology.kif 24619-24619 | cohabitant は IntentionalRelation の instance では |
| (instance cohabitant SymmetricRelation) | Mid-level-ontology.kif 24618-24618 | cohabitant は 対称関係 の instance では |
| (subrelation cohabitant mutualAcquaintance) | Mid-level-ontology.kif 24627-24627 | cohabitant は mutualAcquaintance の subrelation では |
| 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 25015-25015 | domesticPartner は cohabitant の subrelation では |
| (termFormat ChineseLanguage cohabitant "同居") | domainEnglishFormat.kif 15521-15521 | domesticPartner は cohabitant の subrelation では |
| (termFormat ChineseTraditionalLanguage cohabitant "同居") | domainEnglishFormat.kif 15520-15520 | domesticPartner は cohabitant の subrelation では |
| (termFormat EnglishLanguage cohabitant "cohabitant") | domainEnglishFormat.kif 15519-15519 | domesticPartner は cohabitant の subrelation では |
| 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 24827-24843 | |
| (=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))))) |
Mid-level-ontology.kif 24629-24637 |
| consequent |
|
|
| (=> (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))) (holdsDuring ?T1 (cohabitant ?H1 ?H2))) |
Mid-level-ontology.kif 24639-24647 |
|
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