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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndustrialPlant

Sigma KEE - IndustrialPlant
IndustrialPlant(industrial plant)auto_factory, automobile_factory, bottling_plant, car_factory, chemical_plant, factory, industrial_plant, manufactory, manufacturing_plant, mill, mint, plant, works

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 Industrial plant is a subclass of stationary artifact

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