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

appearance as argument number 2

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

antecedent

(=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X))))	Mid-level-ontology.kif 22864-22869	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 22871-22877	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 6794-6799