Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HighSchool(high school) |
| appearance as argument number 1 |
|
| (subclass HighSchool School) | Mid-level-ontology.kif 18280-18280 | High school is a subclass of school |
| (documentation HighSchool EnglishLanguage "A School which admits students who have graduated from a middle school and which normally covers the ninth through twelfth grades. A HighSchool confers a high school diploma.") | Mid-level-ontology.kif 18281-18283 | High school is a subclass of school |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?ENTER Matriculation) (agent ?ENTER ?COLLEGE) (patient ?ENTER ?STUDENT) (instance ?COLLEGE College)) (exists (?GRAD ?SCHOOL) (and (instance ?GRAD Graduation) (agent ?GRAD ?SCHOOL) (patient ?GRAD ?STUDENT) (instance ?SCHOOL HighSchool) (earlier (WhenFn ?GRAD) (WhenFn ?ENTER))))) |
Mid-level-ontology.kif 18285-18297 | If X is an instance of matriculation, Y is an agent of X, Z is a patient of X, and Y is an instance of college, then there exist W, V such that W is an instance of graduation, V is an agent of W, Z is a patient of W, V is an instance of high school, and the time of existence of W happens earlier than the time of existence of X |
|