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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Workshop

Sigma KEE - Workshop
Workshopمشْغل, معْمل, وَرْشَة,

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


(documentation Workshop EnglishLanguage "A Room, suite of Rooms or Building which is devoted to hand-crafting Artifacts.") Mid-level-ontology.kif 6510-6511
(subclass Workshop StationaryArtifact) Mid-level-ontology.kif 6509-6509

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


(subclass ArtStudio Workshop) Mid-level-ontology.kif 6384-6384
(termFormat EnglishLanguage Workshop "workshop") domainEnglishFormat.kif 11009-11009

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


(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6513-6520


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