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	student の数値 1 引数は人［人間］の instance では %n
(domain student 2 EducationalOrganization)	Mid-level-ontology.kif 16821-16821	student の数値 2 引数は教育組織の instance では %n
(instance student BinaryPredicate)	Mid-level-ontology.kif 16819-16819	student は 2進述語の instance では %n
(subrelation student member)	Mid-level-ontology.kif 16818-16818	student は member の subrelation では %n

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 人［人間］ and 教育組織
工程工程は教育過程の instance では %n eventLocated 工程 and 教育組織工程は人［人間］に ends %n{ない}

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 はポジションの attribute では %n 人［人間］は組織のポジションの position を holds %n{ない} 実数 student 人［人間］ and 組織は実数の YearDuration(s) の during holds %n{ない} 実数は 1 より less では %n
(=> (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 はポジションの attribute では %n 人［人間］は組織のポジションの position を holds %n{ない} 実数 student 人［人間］ and 組織は実数の YearDuration(s) の during holds %n{ない} 実数は 2 greater では　%n 実数は 3 より less では %n
(=> (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 はポジションの attribute では %n 人［人間］は組織のポジションの position を holds %n{ない} 実数 student 人［人間］ and 組織は実数の YearDuration(s) の during holds %n{ない} 実数は 3 greater では　%n 実数は 4 より less では %n
(=> (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 はポジションの attribute では %n 人［人間］は組織のポジションの position を holds %n{ない} 実数 student 人［人間］ and 組織は実数の YearDuration(s) の during holds %n{ない} 実数は 1 greater では　%n 実数は 2 より less では %n
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS)))))	Mid-level-ontology.kif 16810-16816	教育組織は DaySchool の instance では %n 人［人間］ student 人［人間］ and 教育組織人［人間］の homeは教育組織では %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 16735-16747	物理は VocationalSchool の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは教育過程の instance では %n eventLocated エンティティー and 物理 student エンティティー and 物理エンティティーがエンティティーを experiences %n{ない} エンティティーは OccupationalTrade の instance では %n エンティティーはエンティティーの attribute では %n はエンティティーの time の existence の end の during holds %n{ない} の目的 %n{ない}

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

KB Term:			Term intersection

English Word: