|
|
   SingleFamilyResidence
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SingleFamilyResidence ChineseLanguage "这是为了成为一个单一 SocialUnit 的 home 的 PermanentResidence。这个类别包括 Houses、ApartmentUnits 和 CondominiumUnits。") | chinese_format.kif 3602-3604 | |
| (documentation SingleFamilyResidence EnglishLanguage "A PermanentResidence which is intended to be the home of a single SocialUnit. This class covers Houses, ApartmentUnits, and CondominiumUnits.") | Merge.kif 15867-15869 | |
| (subclass SingleFamilyResidence PermanentResidence) | Merge.kif 15866-15866 | 子類 單身家庭住所 and 永久居留權 |
| appearance as argument number 2 |
|
|
| (disjoint ApartmentBuilding SingleFamilyResidence) | Mid-level-ontology.kif 6964-6964 | 不相交的 公寓樓 and 單身家庭住所 |
| (disjoint CondominiumBuilding SingleFamilyResidence) | Mid-level-ontology.kif 6979-6979 | 不相交的 公寓大樓 and 單身家庭住所 |
| (disjoint Dormitory SingleFamilyResidence) | Mid-level-ontology.kif 7007-7007 | 不相交的 宿舍 and 單身家庭住所 |
| (subclass ApartmentUnit SingleFamilyResidence) | Mid-level-ontology.kif 6894-6894 | 子類 公寓單位 and 單身家庭住所 |
| (subclass CondominiumUnit SingleFamilyResidence) | Mid-level-ontology.kif 6944-6944 | 子類 共管公寓單位 and 單身家庭住所 |
| (subclass House SingleFamilyResidence) | Merge.kif 15816-15816 | 子類 屋 and 單身家庭住所 |
| (termFormat ChineseLanguage SingleFamilyResidence "单身家庭住所") | domainEnglishFormat.kif 53170-53170 | |
| (termFormat ChineseTraditionalLanguage SingleFamilyResidence "單身家庭住所") | domainEnglishFormat.kif 53169-53169 | |
| (termFormat EnglishLanguage SingleFamilyResidence "single family residence") | domainEnglishFormat.kif 53168-53168 |
| antecedent |
|
|
| (=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 6948-6954 | |
| (=> (instance ?RESIDENCE SingleFamilyResidence) (hasPurpose ?RESIDENCE (forall (?AGENT1 ?AGENT2) (=> (and (home ?AGENT1 ?RESIDENCE) (home ?AGENT2 ?RESIDENCE)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (member ?AGENT1 ?UNIT) (member ?AGENT2 ?UNIT))))))) |
Merge.kif 15871-15883 |
|
|
|