student - Sigma 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 18202-18203
(domain student 1 Human)	Mid-level-ontology.kif 18200-18200	The number 1 argument of student is an instance of human
(domain student 2 EducationalOrganization)	Mid-level-ontology.kif 18201-18201	The number 2 argument of student is an instance of educational organization
(instance student BinaryPredicate)	Mid-level-ontology.kif 18199-18199	student is an instance of binary predicate
(subrelation student member)	Mid-level-ontology.kif 18198-18198	student is a subrelation of member

appearance as argument number 2

(format ChineseLanguage student "%1 是 %2 的 student ")	domainEnglishFormat.kif 4682-4682
(format ChineseTraditionalLanguage student "%1 是 %2 的 student ")	domainEnglishFormat.kif 4681-4681
(format EnglishLanguage student "%1 is a student of %2")	domainEnglishFormat.kif 4680-4680
(termFormat EnglishLanguage student "student")	domainEnglishFormat.kif 66002-66002

antecedent

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

Mid-level-ontology.kif 18205-18211

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 the educational organization and the process ends up at the human

consequent

(=> (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 20316-20325	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 real number such that the human is a student of the organization holds during the real number year duration(s) and the real number 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 20331-20341	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 real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 2 and the real number 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 20347-20357	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 real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 3 and the real number 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 20363-20373	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 real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 1 and the real number is less than 2
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS)))))	Mid-level-ontology.kif 18190-18196	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 home of the human is the educational organization
(=> (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 18115-18127	If a physical is an instance of vocational school, then the physical has the 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 the physical 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: