SchoolBuilding
|
|
appearance as argument number 1 |
(documentation SchoolBuilding EnglishLanguage "A building where people receive education.") | Mid-level-ontology.kif 22482-22482 | |
(subclass SchoolBuilding Building) | Mid-level-ontology.kif 22481-22481 | SchoolBuilding è una sottoclasse di Costruzione |
appearance as argument number 2 |
(termFormat ChineseLanguage SchoolBuilding "学校楼") | domainEnglishFormat.kif 41692-41692 | |
(termFormat ChineseTraditionalLanguage SchoolBuilding "學校樓") | domainEnglishFormat.kif 41691-41691 | |
(termFormat EnglishLanguage SchoolBuilding "school building") | domainEnglishFormat.kif 41690-41690 |
antecedent |
(=> (instance ?X SchoolBuilding) (exists (?L ?P) (and (instance ?L Learning) (patient ?L ?P) (attribute ?P Student) (eventLocated ?L ?X)))) |
Mid-level-ontology.kif 22492-22499 | |
(=> (instance ?X SchoolBuilding) (hasPurpose ?X (exists (?P) (and (instance ?P EducationalProcess) (eventLocated ?P ?X))))) |
Mid-level-ontology.kif 22484-22490 |
|