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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 22577-22579
(subclass EducationalFacility StationaryArtifact) Mid-level-ontology.kif 22576-22576 EducationalFacility固定アーチファクトsubclass では %n

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

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


(=>
    (instance ?X EducationalFacility)
    (exists (?ORG)
        (and
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))
Mid-level-ontology.kif 22581-22586
(=>
    (instance ?X EducationalFacility)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV EducationalProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 22588-22594


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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