|
|
   EducationalFacility
|
|
|
| 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 | 教育设施 是 固定人工制品 的 subclass |
| (typicalPart EducationalFacility MilitaryBase) | MilitaryProcesses.kif 2749-2749 | 教育设施 typically 是 MilitaryBase 的 part |
| 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 | |
| (=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 24229-24235 |
| consequent |
|
|
| (=> (instance ?C EducationalCampus) (exists (?F) (and (instance ?F EducationalFacility) (part ?F ?C)))) |
Mid-level-ontology.kif 7737-7742 |
|
|
|