CondominiumBuilding - Sigma Knowledge base Browser

appearance as argument number 2

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

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 7174-7182

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 7147-7152

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 7170-7170	Condominium building is disjoint from single family residence
(documentation CondominiumBuilding EnglishLanguage "A ResidentialBuilding containing CondominiumUnits.")	Mid-level-ontology.kif 7171-7172	Condominium building is disjoint from single family residence
(externalImage CondominiumBuilding "http://upload.wikimedia.org/wikipedia/ en/ 5/ 55/ Flooring.jpg")	pictureList.kif 2143-2143	Condominium building is disjoint from single family residence
(externalImage CondominiumBuilding "http://upload.wikimedia.org/wikipedia/ en/ d/ d1/ Aqualbview.jpg")	pictureList.kif 1711-1711	Condominium building is disjoint from single family residence
(subclass CondominiumBuilding ResidentialBuilding)	Mid-level-ontology.kif 7169-7169	Condominium building is a subclass of residential building

KB Term:			Term intersection

English Word: