cohabitant |
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 22980-22981 | |
(domain cohabitant 1 Human) | Mid-level-ontology.kif 22983-22983 | Le nombre 1 argument de cohabitant est une instance de humain |
(domain cohabitant 2 Human) | Mid-level-ontology.kif 22984-22984 | Le nombre 2 argument de cohabitant est une instance de humain |
(instance cohabitant BinaryPredicate) | Mid-level-ontology.kif 22976-22976 | cohabitant est une instance de pr�dicat binaire |
(instance cohabitant IntentionalRelation) | Mid-level-ontology.kif 22978-22978 | cohabitant est une instance de IntentionalRelation |
(instance cohabitant SymmetricRelation) | Mid-level-ontology.kif 22977-22977 | cohabitant est une instance de relation sym�trique |
(subrelation cohabitant mutualAcquaintance) | Mid-level-ontology.kif 22986-22986 | cohabitant est une sous-relation de mutualAcquaintance |
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 23374-23374 | domesticPartner est une sous-relation de cohabitant |
(termFormat ChineseLanguage cohabitant "同居") | domainEnglishFormat.kif 15512-15512 | |
(termFormat ChineseTraditionalLanguage cohabitant "同居") | domainEnglishFormat.kif 15511-15511 | |
(termFormat EnglishLanguage cohabitant "cohabitant") | domainEnglishFormat.kif 15510-15510 |
antecedent |
consequent |
(=> (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))) (holdsDuring ?T1 (cohabitant ?H1 ?H2))) |
Mid-level-ontology.kif 22998-23006 |
|