more pictures...
| ApartmentUnit
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation ApartmentUnit EnglishLanguage "A SingleFamilyResidence that is not owned by any member of the SocialUnit that lives there.") | Mid-level-ontology.kif 7086-7087 | |
| (externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Apartement.jpg") | pictureList.kif 8339-8339 | |
| (externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ b/ bc/ Flats_at_bristol_harbour_arp.jpg") | pictureList.kif 8884-8884 | |
| (externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Sg_woodlands_a7_01.jpg") | pictureList.kif 8885-8885 | |
| (externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/en/5/ 59/ P54ArtDecFlat.JPG") | pictureList.kif 8886-8886 | |
| (externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/en/b/ bc/ Riverviewnorthlivingroom.jpg") | pictureList.kif 8887-8887 | |
| (subclass ApartmentUnit SingleFamilyResidence) | Mid-level-ontology.kif 7085-7085 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ApartmentUnit "公寓单位") | domainEnglishFormat.kif 7953-7953 | |
| (termFormat ChineseTraditionalLanguage ApartmentUnit "公寓單位") | domainEnglishFormat.kif 7952-7952 | |
| (termFormat EnglishLanguage ApartmentUnit "apartment unit") | domainEnglishFormat.kif 7951-7951 |
| antecedent |
|
|
| (=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT))) |
Mid-level-ontology.kif 7089-7093 | |
| (=> (instance ?UNIT ApartmentUnit) (exists (?BUILDING) (and (instance ?BUILDING ApartmentBuilding) (part ?UNIT ?BUILDING)))) |
Mid-level-ontology.kif 7095-7100 |
| consequent |
|
|
| (=> (instance ?BUILDING ApartmentBuilding) (exists (?UNIT1 ?UNIT2) (and (instance ?UNIT1 ApartmentUnit) (instance ?UNIT2 ApartmentUnit) (part ?UNIT1 ?BUILDING) (part ?UNIT2 ?BUILDING) (not (equal ?UNIT1 ?UNIT2))))) |
Mid-level-ontology.kif 7159-7167 |
|
|
|