ApartmentBuilding - Sigma Knowledge base Browser

appearance as argument number 2

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

antecedent

(=>
    (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 8121-8129

If an object is an instance of apartment building,
then there exist another object and a third object such that the other object is an instance of apartment unit and the third object is an instance of apartment unit and the other object is a part of the object and the third object is a part of the object and the other object is not equal to the third object

consequent

(=>
    (instance ?UNIT ApartmentUnit)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING ApartmentBuilding)
            (part ?UNIT ?BUILDING))))

Mid-level-ontology.kif 8057-8062

If an object is an instance of apartment unit,
then there exists another object such that the other object is an instance of apartment building and the object is a part of the other object

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

(disjoint ApartmentBuilding SingleFamilyResidence)	Mid-level-ontology.kif 8117-8117	Apartment building is disjoint from single family residence
(documentation ApartmentBuilding EnglishLanguage "A ResidentialBuilding containing ApartmentUnits.")	Mid-level-ontology.kif 8118-8119	Apartment building is disjoint from single family residence
(externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 08/ Apartmentingurgaon.JPG")	pictureList.kif 2105-2105	Apartment building is disjoint from single family residence
(externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Alye_Parusa.jpg")	pictureList.kif 1642-1642	Apartment building is disjoint from single family residence
(subclass ApartmentBuilding ResidentialBuilding)	Mid-level-ontology.kif 8116-8116	Apartment building is a subclass of residential building

KB Term:			Term intersection

English Word: