consequent

(=>     (instance ?VS VocationalSchool)     (hasPurpose ?VS         (exists (?P ?S ?T)             (and                 (instance ?P EducationalProcess)                 (eventLocated ?P ?VS)                 (student ?S ?VS)                 (experiencer ?P ?S)                 (instance ?T OccupationalTrade)                 (holdsDuring                     (EndFn                         (WhenFn ?P))                     (attribute ?S ?T))))))	Mid-level-ontology.kif 18322-18334	If X is an instance of vocational school, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of educational process (3) Y is located at X (4) Z is a student of X (5) Z experiences Y (6) W is an instance of occupational trade (7) W is an attribute of Z holds during the end of the time of existence of Y
(=>     (instance ?DS DaySchool)     (not         (exists (?S)             (and                 (student ?S ?DS)                 (home ?S ?DS)))))	Mid-level-ontology.kif 18397-18403	If X is an instance of day school, then there doesn't exist Y such that Y is a student of X and the home of Y is X
(=>     (and         (attribute ?P CollegeFreshman)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring                 (MeasureFn ?T YearDuration)                 (student ?H ?ORG))             (lessThan ?T 1))))	Mid-level-ontology.kif 20650-20659	If college freshman is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is less than 1
(=>     (and         (attribute ?P CollegeJunior)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring                 (MeasureFn ?T YearDuration)                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T 2)             (lessThan ?T 3))))	Mid-level-ontology.kif 20665-20675	If college junior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 2 and W is less than 3
(=>     (and         (attribute ?P CollegeSenior)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring                 (MeasureFn ?T YearDuration)                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T 3)             (lessThan ?T 4))))	Mid-level-ontology.kif 20681-20691	If college senior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 3 and W is less than 4
(=>     (and         (attribute ?P CollegeSophomore)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring                 (MeasureFn ?T YearDuration)                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T 1)             (lessThan ?T 2))))	Mid-level-ontology.kif 20697-20707	If college sophomore is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 1 and W is less than 2

Show simplified definition (without tree view)
Show simplified definition (with tree view)