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 16822-16823
(domain student 1 Human)	Mid-level-ontology.kif 16820-16820	Le nombre 1 argument de student est une instance de humain
(domain student 2 EducationalOrganization)	Mid-level-ontology.kif 16821-16821	Le nombre 2 argument de student est une instance de �cole
(instance student BinaryPredicate)	Mid-level-ontology.kif 16819-16819	student est une instance de pr�dicat binaire
(subrelation student member)	Mid-level-ontology.kif 16818-16818	student est une sous-relation de member

appearance as argument number 2

(format ChineseLanguage student "%1 是 %2 的 student ")	domainEnglishFormat.kif 4678-4678
(format ChineseTraditionalLanguage student "%1 是 %2 的 student ")	domainEnglishFormat.kif 4677-4677
(format EnglishLanguage student "%1 is a student of %2")	domainEnglishFormat.kif 4676-4676
(termFormat EnglishLanguage student "student")	domainEnglishFormat.kif 65946-65946

antecedent

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

Mid-level-ontology.kif 16825-16831

student humain and �cole
processus processus est une instance de processus educationnel eventLocated processus and �cole processus aboutit � humain

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 18755-18764	CollegeFreshman est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est moins que 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 18770-18780	CollegeJunior est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 2 nombre r�el est moins que 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 18786-18796	CollegeSenior est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 3 nombre r�el est moins que 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 18802-18812	CollegeSophomore est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 1 nombre r�el est moins que 2
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS)))))	Mid-level-ontology.kif 16810-16816	�cole Est une instance de DaySchool humain student humain and �cole le domicile de humain est �cole
(=> (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 16735-16747	Physique est une instance de VocationalSchool physique a pour but entit� entit� and entit� entit� est une instance de processus educationnel eventLocated entit� and physique student entit� and physique entit� exp�rimente entit� entit� est une instance de OccupationalTrade entit� est un attribut de entit� pendant la fin de temps d'existence de entit�

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

KB Term:			Term intersection

English Word: