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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IndustrialPlant
IndustrialPlant(工业厂房)

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


(documentation IndustrialPlant EnglishLanguage "A Building or part of a Building or group of Buildings whose purpose is to Manufacture something.") Mid-level-ontology.kif 15135-15136
(subclass IndustrialPlant StationaryArtifact) Mid-level-ontology.kif 15134-15134 工业厂房固定人工制品subclass

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


(termFormat ChineseLanguage IndustrialPlant "工业厂房") domainEnglishFormat.kif 29808-29808
(termFormat ChineseTraditionalLanguage IndustrialPlant "工業廠房") domainEnglishFormat.kif 29807-29807
(termFormat EnglishLanguage IndustrialPlant "industrial plant") domainEnglishFormat.kif 29806-29806

antecedent
-------------------------


(=>
    (instance ?PLANT IndustrialPlant)
    (hasPurpose ?PLANT
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (eventLocated ?MANUFACTURE ?PLANT)))))
Mid-level-ontology.kif 15147-15153
(=>
    (instance ?PLANT IndustrialPlant)
    (or
        (instance ?PLANT Building)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (located ?BUILDING ?PLANT)))))
Mid-level-ontology.kif 15138-15145


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