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 23691-23693
(subclass EducationalFacility StationaryArtifact)	Mid-level-ontology.kif 23690-23690	Educational facility is a subclass of stationary artifact
(typicalPart EducationalFacility MilitaryBase)	MilitaryProcesses.kif 2746-2746	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 23695-23700	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 23702-23708	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 7349-7354