EducationalFacility - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EducationalFacility StationaryArtifact)	Mid-level-ontology.kif 24855-24855	Educational facility is a subclass of stationary artifact
(documentation EducationalFacility EnglishLanguage "A building or campus, owned by an EducationalOrganization, which is intended as the location for EducationalProcesses.")	Mid-level-ontology.kif 24856-24858	Educational facility is a subclass of stationary artifact
(typicalPart EducationalFacility MilitaryBase)	MilitaryProcesses.kif 2790-2790	A educational facility is typically a part of a military base

appearance as argument number 2

(termFormat EnglishLanguage EducationalFacility "educational facility")	domainEnglishFormat.kif 21270-21270
(termFormat ChineseTraditionalLanguage EducationalFacility "教育設施")	domainEnglishFormat.kif 21271-21271
(termFormat ChineseLanguage EducationalFacility "教育设施")	domainEnglishFormat.kif 21272-21272

antecedent

(=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X))))	Mid-level-ontology.kif 24860-24865	If X is an instance of educational facility, then there exists Y such that Y is an instance of educational organization and Y possesses X
(=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 24867-24873	If X is an instance of educational facility, then X has the purpose there exists Y such that Y is an instance of educational process and Y is located at X

consequent

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

If X is an instance of educational campus, then there exists Y such that Y is an instance of educational facility and Y is a part of X