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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Factory

Sigma KEE - Factory
Factory

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


(documentation Factory EnglishLanguage "A Building or a group of Buildings whose purpose is to Manufacture something.") Society.kif 1123-1123
(subclass Factory StationaryArtifact) Society.kif 1122-1122

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


(=>
    (instance ?PLANT Factory)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING FactoryBuilding)
            (located ?BUILDING ?PLANT))))
Society.kif 1126-1131
(=>
    (instance ?PLANT Factory)
    (exists (?PRODUCT ?MANUFACT)
        (and
            (instance ?PRODUCT Product)
            (eventLocated ?MANUFACT ?PLANT)
            (result ?MANUFACT ?PRODUCT))))
Society.kif 1140-1146
(=>
    (instance ?PLANT Factory)
    (hasPurpose ?PLANT
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (eventLocated ?MANUFACTURE ?PLANT)))))
Society.kif 1133-1138


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners