CondominiumBuilding - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat ChineseLanguage CondominiumBuilding "公寓大楼")	domainEnglishFormat.kif 16527-16527
(termFormat ChineseTraditionalLanguage CondominiumBuilding "公寓大樓")	domainEnglishFormat.kif 16526-16526
(termFormat EnglishLanguage CondominiumBuilding "condominium building")	domainEnglishFormat.kif 16525-16525

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 8117-8125

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 8090-8095

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 8113-8113	Condominium building is disjoint from single family residence
(documentation CondominiumBuilding EnglishLanguage "A ResidentialBuilding containing CondominiumUnits.")	Mid-level-ontology.kif 8114-8115	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 8112-8112	Condominium building is a subclass of residential building

KB Term:			Term intersection

English Word: