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
(typicalPart EducationalFacility MilitaryBase)	MilitaryProcesses.kif 2766-2766

appearance as argument number 2

(termFormat ChineseLanguage EducationalFacility "教育设施")	domainEnglishFormat.kif 21281-21281
(termFormat ChineseTraditionalLanguage EducationalFacility "教育設施")	domainEnglishFormat.kif 21280-21280
(termFormat EnglishLanguage EducationalFacility "educational facility")	domainEnglishFormat.kif 21279-21279

antecedent

(=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X))))	Mid-level-ontology.kif 22864-22869
(=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22871-22877

consequent

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

Mid-level-ontology.kif 6794-6799