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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Argentina

Sigma KEE - EducationalFacility
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

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


(=>
    (instance ?X EducationalFacility)
    (exists (?ORG)
        (and
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))
Mid-level-ontology.kif 20390-20395
(=>
    (instance ?X EducationalFacility)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (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