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 24218-24220
(subclass EducationalFacility StationaryArtifact)	Mid-level-ontology.kif 24217-24217	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 21279-21279
(termFormat ChineseTraditionalLanguage EducationalFacility "教育設施")	domainEnglishFormat.kif 21278-21278
(termFormat EnglishLanguage EducationalFacility "educational facility")	domainEnglishFormat.kif 21277-21277

antecedent

(=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X))))	Mid-level-ontology.kif 24222-24227	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 24229-24235	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 7737-7742