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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ApartmentBuilding

appearance as argument number 1

(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 6904-6904
(documentation ApartmentBuilding EnglishLanguage "A ResidentialBuilding containing ApartmentUnits.") Mid-level-ontology.kif 6905-6906
(externalImage ApartmentBuilding " commons/ 0/ 08/ Apartmentingurgaon.JPG") pictureList.kif 2107-2107
(externalImage ApartmentBuilding " commons/ c/ ce/ Alye_Parusa.jpg") pictureList.kif 1644-1644
(subclass ApartmentBuilding ResidentialBuilding) Mid-level-ontology.kif 6903-6903

appearance as argument number 2

(termFormat ChineseLanguage ApartmentBuilding "公寓楼") domainEnglishFormat.kif 7949-7949
(termFormat ChineseTraditionalLanguage ApartmentBuilding "公寓樓") domainEnglishFormat.kif 7948-7948
(termFormat EnglishLanguage ApartmentBuilding "apartment building") domainEnglishFormat.kif 7947-7947


    (instance ?BUILDING ApartmentBuilding)
    (exists (?UNIT1 ?UNIT2)
            (instance ?UNIT1 ApartmentUnit)
            (instance ?UNIT2 ApartmentUnit)
            (part ?UNIT1 ?BUILDING)
            (part ?UNIT2 ?BUILDING)
                (equal ?UNIT1 ?UNIT2)))))
Mid-level-ontology.kif 6908-6916


    (instance ?UNIT ApartmentUnit)
    (exists (?BUILDING)
            (instance ?BUILDING ApartmentBuilding)
            (part ?UNIT ?BUILDING))))
Mid-level-ontology.kif 6844-6849

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

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