Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass EducationalOrganization Organization) | Merge.kif 17085-17085 | Educational organization is a subclass of organization |
| (documentation EducationalOrganization EnglishLanguage "A EducationalOrganization is an institution of learning. Some examples are public and private K-12 schools, and colleges and universities.") | Merge.kif 17086-17088 | Educational organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| (subclass Library EducationalOrganization) | Mid-level-ontology.kif 9823-9823 | Library is a subclass of educational organization |
| (subclass Museum EducationalOrganization) | Mid-level-ontology.kif 9853-9853 | Museum is a subclass of educational organization |
| (subclass School EducationalOrganization) | Mid-level-ontology.kif 18267-18267 | School is a subclass of educational organization |
| (termFormat EnglishLanguage EducationalOrganization "educational organization") | english_format.kif 1357-1357 | School is a subclass of educational organization |
| appearance as argument number 3 |
|
|
| (domain student 2 EducationalOrganization) | Mid-level-ontology.kif 18408-18408 | The number 2 argument of student is an instance of educational organization |
| (domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 18484-18484 | The number 2 argument of teacher is an instance of educational organization |
| consequent |
|
|
| (=> (and (instance ?GRAD Graduation) (agent ?GRAD ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10949-10953 | If X is an instance of graduation and Y is an agent of X, then Y is an instance of educational organization |
| (=> (and (instance ?MAT Matriculation) (agent ?MAT ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10960-10964 | If X is an instance of matriculation and Y is an agent of X, then Y is an instance of educational organization |
| (=> (and (instance ?A Accrediting) (patient ?A ?EO)) (instance ?EO EducationalOrganization)) |
Mid-level-ontology.kif 1000-1004 | If X is an instance of accrediting and Y is a patient of X, then Y is an instance of educational organization |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 18245-18252 | If X is an instance of educational course, then there exist Y, Z such that Y expresses the content of X, Y is an instance of educational process, Y is located at Z, and Z is an instance of educational organization |
| (=> (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 |
|
