|
|
  Argentina
|
|
|
| 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 20387-20389 | |
| (subclass EducationalFacility StationaryArtifact) | Mid-level-ontology.kif 20386-20386 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EducationalFacility "educational facility") | domainEnglishFormat.kif 3966-3966 |
| antecedent |
|
|
| (=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X)))) |
Mid-level-ontology.kif 20390-20395 | |
| (=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 20397-20403 |
|
|
|