EducationalFacility - Sigma Knowledge base Browser

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 24237-24239
(subclass EducationalFacility StationaryArtifact)	Mid-level-ontology.kif 24236-24236	Educational facility is a subclass of stationary artifact
(typicalPart EducationalFacility MilitaryBase)	MilitaryProcesses.kif 2749-2749	A educational facility is typically a part of a military base

appearance as argument number 2

(termFormat ChineseLanguage EducationalFacility "教育设施")	domainEnglishFormat.kif 21285-21285
(termFormat ChineseTraditionalLanguage EducationalFacility "教育設施")	domainEnglishFormat.kif 21284-21284
(termFormat EnglishLanguage EducationalFacility "educational facility")	domainEnglishFormat.kif 21283-21283

antecedent

(=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X))))	Mid-level-ontology.kif 24241-24246	If an object is an instance of educational facility, then there exists an agent such that the agent is an instance of educational organization and the agent possesses the object
(=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 24248-24254	If a physical is an instance of educational facility, then the physical has the purpose there exists an entity such that the entity is an instance of educational process and the entity is located at the physical

consequent

(=>
    (instance ?C EducationalCampus)
    (exists (?F)
        (and
            (instance ?F EducationalFacility)
            (part ?F ?C))))

Mid-level-ontology.kif 7756-7761