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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CondominiumBuilding
CondominiumBuilding(公寓大楼)

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


(disjoint CondominiumBuilding SingleFamilyResidence) Mid-level-ontology.kif 6952-6952 公寓大楼 和 % 2 是 disjoint
(documentation CondominiumBuilding EnglishLanguage "A ResidentialBuilding containing CondominiumUnits.") Mid-level-ontology.kif 6953-6954
(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 6951-6951 公寓大楼住宅楼subclass

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 6956-6964

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


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


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