| 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 22403-22404 | |
| (domain cohabitant 1 Human) | Mid-level-ontology.kif 22406-22406 | |
| (domain cohabitant 2 Human) | Mid-level-ontology.kif 22407-22407 | |
| (instance cohabitant BinaryPredicate) | Mid-level-ontology.kif 22399-22399 | |
| (instance cohabitant IntentionalRelation) | Mid-level-ontology.kif 22401-22401 | |
| (instance cohabitant SymmetricRelation) | Mid-level-ontology.kif 22400-22400 | |
| (subrelation cohabitant mutualAcquaintance) | Mid-level-ontology.kif 22409-22409 |
| 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 22797-22797 | |
| (termFormat ChineseLanguage cohabitant "同居") | domainEnglishFormat.kif 15507-15507 | |
| (termFormat ChineseTraditionalLanguage cohabitant "同居") | domainEnglishFormat.kif 15506-15506 | |
| (termFormat EnglishLanguage cohabitant "cohabitant") | domainEnglishFormat.kif 15505-15505 |
| 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 22609-22625 | |
| (=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))))) |
Mid-level-ontology.kif 22411-22419 |
| consequent |
|
|
| (=> (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))) (holdsDuring ?T1 (cohabitant ?H1 ?H2))) |
Mid-level-ontology.kif 22421-22429 |
|
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