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 15686-15687
(subclass IndustrialPlant StationaryArtifact) Mid-level-ontology.kif 15685-15685 Industrial plant is a subclass of stationary artifact

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


(termFormat ChineseLanguage IndustrialPlant "工业厂房") domainEnglishFormat.kif 29821-29821
(termFormat ChineseTraditionalLanguage IndustrialPlant "工業廠房") domainEnglishFormat.kif 29820-29820
(termFormat EnglishLanguage IndustrialPlant "industrial plant") domainEnglishFormat.kif 29819-29819

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


(=>
    (instance ?PLANT IndustrialPlant)
    (hasPurpose ?PLANT
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (eventLocated ?MANUFACTURE ?PLANT)))))
Mid-level-ontology.kif 15698-15704
(=>
    (instance ?PLANT IndustrialPlant)
    (or
        (instance ?PLANT Building)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (located ?BUILDING ?PLANT)))))
Mid-level-ontology.kif 15689-15696


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