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 15843-15845 | |
(subclass SingleFamilyResidence PermanentResidence) | Merge.kif 15842-15842 | SingleFamilyResidence è una sottoclasse di PermanentResidence |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 6920-6926 |
|
(=> (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 15847-15859 |