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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - EducationalFacility

appearance as argument number 1

(documentation EducationalFacility EnglishLanguage "A building or campus, owned by an EducationalOrganization, which is intended as the location for EducationalProcesses.") Mid-level-ontology.kif 20387-20389
(subclass EducationalFacility StationaryArtifact) Mid-level-ontology.kif 20386-20386

appearance as argument number 2

(termFormat EnglishLanguage EducationalFacility "educational facility") domainEnglishFormat.kif 3966-3966


    (instance ?X EducationalFacility)
    (exists (?ORG)
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))
Mid-level-ontology.kif 20390-20395
    (instance ?X EducationalFacility)
    (hasPurpose ?X
        (exists (?EV)
                (instance ?EV EducationalProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 20397-20403

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