Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   EducationalCampus
|
|
|
| appearance as argument number 1 |
|
|
| (subclass EducationalCampus Region) | Mid-level-ontology.kif 7884-7884 | Educational campus is a subclass of region |
| (documentation EducationalCampus EnglishLanguage "An EducationalCampus is the land on which a college or University and related institutional buildings are situated.[Wikipedia]") | Mid-level-ontology.kif 7885-7886 | Educational campus is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EducationalCampus "educational campus") | domainEnglishFormat.kif 65827-65827 |
| antecedent |
|
|
| (=> (instance ?C EducationalCampus) (exists (?F) (and (instance ?F EducationalFacility) (part ?F ?C)))) |
Mid-level-ontology.kif 7888-7893 | 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 |
|