CondominiumBuilding - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat ChineseLanguage CondominiumBuilding "公寓大楼")	domainEnglishFormat.kif 16533-16533
(termFormat ChineseTraditionalLanguage CondominiumBuilding "公寓大樓")	domainEnglishFormat.kif 16532-16532
(termFormat EnglishLanguage CondominiumBuilding "condominium building")	domainEnglishFormat.kif 16531-16531

antecedent

(=>
    (instance ?BUILDING CondominiumBuilding)
    (exists (?UNIT1 ?UNIT2)
        (and
            (instance ?UNIT1 CondominiumUnit)
            (instance ?UNIT2 CondominiumUnit)
            (part ?UNIT1 ?BUILDING)
            (part ?UNIT2 ?BUILDING)
            (not
                (equal ?UNIT1 ?UNIT2)))))

Mid-level-ontology.kif 8136-8144

If an object is an instance of condominium building,
then there exist another object and a third object such that the other object is an instance of condominium unit and the third object is an instance of condominium 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 CondominiumUnit)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING CondominiumBuilding)
            (part ?UNIT ?BUILDING))))

Mid-level-ontology.kif 8109-8114

If an object is an instance of condominium unit,
then there exists another object such that the other object is an instance of condominium 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 CondominiumBuilding SingleFamilyResidence)	Mid-level-ontology.kif 8132-8132	Condominium building is disjoint from single family residence
(documentation CondominiumBuilding EnglishLanguage "A ResidentialBuilding containing CondominiumUnits.")	Mid-level-ontology.kif 8133-8134	Condominium building is disjoint from single family residence
(externalImage CondominiumBuilding "http://upload.wikimedia.org/wikipedia/ en/ 5/ 55/ Flooring.jpg")	pictureList.kif 2142-2142	Condominium building is disjoint from single family residence
(externalImage CondominiumBuilding "http://upload.wikimedia.org/wikipedia/ en/ d/ d1/ Aqualbview.jpg")	pictureList.kif 1710-1710	Condominium building is disjoint from single family residence
(subclass CondominiumBuilding ResidentialBuilding)	Mid-level-ontology.kif 8131-8131	Condominium building is a subclass of residential building

KB Term:			Term intersection

English Word: