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 7729-7737

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 7702-7707

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

KB Term:			Term intersection

English Word: