TreeView Knowledge Base Browser

appearance as argument number 1

(documentation student EnglishLanguage "(student ?AGENT ?ORG) means that ?AGENT is enrolled in the EducationalOrganization ?ORG.")	Mid-level-ontology.kif 14420-14421
(domain student 1 Human)	Mid-level-ontology.kif 14418-14418	The number 1 argument of student is an instance of human
(domain student 2 EducationalOrganization)	Mid-level-ontology.kif 14419-14419	The number 2 argument of student is an instance of educational organization
(instance student BinaryPredicate)	Mid-level-ontology.kif 14417-14417	student is an instance of binary predicate
(subrelation student member)	Mid-level-ontology.kif 14416-14416	student is a subrelation of member

appearance as argument number 2

(format ChineseLanguage student "%1 是 %2 的 student ")	domainEnglishFormat.kif 4687-4687
(format ChineseTraditionalLanguage student "%1 是 %2 的 student ")	domainEnglishFormat.kif 4686-4686
(format EnglishLanguage student "%1 is a student of %2")	domainEnglishFormat.kif 4685-4685

antecedent

(=>
    (student ?AGENT ?ORG)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS EducationalProcess)
            (eventLocated ?PROCESS ?ORG)
            (destination ?PROCESS ?AGENT))))

Mid-level-ontology.kif 14423-14429

If a human is a student of an educational organization,
then there exists a process such that the process is an instance of educational process and the process is located at 2 and the process ends up at the human

consequent

(=> (and (attribute ?P CollegeFreshman) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (lessThan ?T (MeasureFn 1 YearDuration)))))	Mid-level-ontology.kif 16430-16438	If college freshman is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is less than 1 year duration(s)
(=> (and (attribute ?P CollegeJunior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 2 YearDuration)) (lessThan ?T (MeasureFn 3 YearDuration)))))	Mid-level-ontology.kif 16444-16455	If college junior is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 2 year duration(s) and the time position is less than 3 year duration(s)
(=> (and (attribute ?P CollegeSenior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 3 YearDuration)) (lessThan ?T (MeasureFn 4 YearDuration)))))	Mid-level-ontology.kif 16461-16472	If college senior is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 3 year duration(s) and the time position is less than 4 year duration(s)
(=> (and (attribute ?P CollegeSophomore) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 1 YearDuration)) (lessThan ?T (MeasureFn 2 YearDuration)))))	Mid-level-ontology.kif 16478-16489	If college sophomore is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 1 year duration(s) and the time position is less than 2 year duration(s)
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS)))))	Mid-level-ontology.kif 14408-14414	If an educational organization is an instance of day school, then there doesn't exist a human such that the human is a student of the educational organization and the human の homeは the educational organization では %n
(=> (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 14336-14348	If a physical is an instance of vocational school, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of educational process and the entity is located at 2 and the other entity is a student of the physical and the other entity experiences the entity and the third entity is an instance of occupational trade and the third entity is an attribute of the other entity holds during the end of the time of existence of the entity

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

KB Term:			Term intersection

English Word: