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 22576-22578
(subclass EducationalFacility StationaryArtifact) Mid-level-ontology.kif 22575-22575 EducationalFacility est une sous-classe de artefact stationnaire

appearance as argument number 2

(termFormat ChineseLanguage EducationalFacility "教育设施") domainEnglishFormat.kif 21270-21270
(termFormat ChineseTraditionalLanguage EducationalFacility "教育設施") domainEnglishFormat.kif 21269-21269
(termFormat EnglishLanguage EducationalFacility "educational facility") domainEnglishFormat.kif 21268-21268


    (instance ?X EducationalFacility)
    (exists (?ORG)
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))
Mid-level-ontology.kif 22580-22585
    (instance ?X EducationalFacility)
    (hasPurpose ?X
        (exists (?EV)
                (instance ?EV EducationalProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 22587-22593

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