Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ApartmentUnit

Sigma KEE - ApartmentUnit
ApartmentUnit(apartment unit)
more pictures...
apartment, cold-water_flat, duplex, duplex_apartment, efficiency_apartment, flat, flatlet, maisonette, maisonnette, penthouse, railroad_flat, studio, studio_apartment, walk-up, walk-up_apartment

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 6868-6869
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Apartement.jpg") pictureList.kif 8340-8340
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ b/ bc/ Flats_at_bristol_harbour_arp.jpg") pictureList.kif 8885-8885
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Sg_woodlands_a7_01.jpg") pictureList.kif 8886-8886
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/en/5/ 59/ P54ArtDecFlat.JPG") pictureList.kif 8887-8887
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/en/b/ bc/ Riverviewnorthlivingroom.jpg") pictureList.kif 8888-8888
(subclass ApartmentUnit SingleFamilyResidence) Mid-level-ontology.kif 6867-6867 Apartment unit is a subclass of single family residence

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ApartmentUnit "公寓单位") domainEnglishFormat.kif 7950-7950
(termFormat ChineseTraditionalLanguage ApartmentUnit "公寓單位") domainEnglishFormat.kif 7949-7949
(termFormat EnglishLanguage ApartmentUnit "apartment unit") domainEnglishFormat.kif 7948-7948

antecedent
-------------------------


(=>
    (and
        (instance ?UNIT ApartmentUnit)
        (home ?PERSON ?UNIT))
    (not
        (possesses ?PERSON ?UNIT)))
Mid-level-ontology.kif 6871-6875
(=>
    (instance ?UNIT ApartmentUnit)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING ApartmentBuilding)
            (part ?UNIT ?BUILDING))))
Mid-level-ontology.kif 6877-6882

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 6941-6949


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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