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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 15686-15687
(subclass IndustrialPlant StationaryArtifact) Mid-level-ontology.kif 15685-15685 工业厂房固定人工制品subclass

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


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

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