Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CondominiumBuilding

Sigma KEE - CondominiumBuilding
CondominiumBuilding

appearance as argument number 1
-------------------------


(disjoint CondominiumBuilding SingleFamilyResidence) Mid-level-ontology.kif 6979-6979
(documentation CondominiumBuilding EnglishLanguage "A ResidentialBuilding containing CondominiumUnits.") Mid-level-ontology.kif 6980-6981
(externalImage CondominiumBuilding "http://upload.wikimedia.org/wikipedia/ en/ 5/ 55/ Flooring.jpg") pictureList.kif 2143-2143
(externalImage CondominiumBuilding "http://upload.wikimedia.org/wikipedia/ en/ d/ d1/ Aqualbview.jpg") pictureList.kif 1711-1711
(subclass CondominiumBuilding ResidentialBuilding) Mid-level-ontology.kif 6978-6978

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CondominiumBuilding "公寓大楼") domainEnglishFormat.kif 16518-16518
(termFormat ChineseTraditionalLanguage CondominiumBuilding "公寓大樓") domainEnglishFormat.kif 16517-16517
(termFormat EnglishLanguage CondominiumBuilding "condominium building") domainEnglishFormat.kif 16516-16516

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 6983-6991

consequent
-------------------------


(=>
    (instance ?UNIT CondominiumUnit)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING CondominiumBuilding)
            (part ?UNIT ?BUILDING))))
Mid-level-ontology.kif 6956-6961


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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