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	Die Zahl 1 Argument von student ist ein fall von Human %n{nicht}
(domain student 2 EducationalOrganization)	Mid-level-ontology.kif 16821-16821	Die Zahl 2 Argument von student ist ein fall von EducationalOrganization %n{nicht}
(instance student BinaryPredicate)	Mid-level-ontology.kif 16819-16819	student ist ein fall von BinaryPredicate %n{nicht}
(subrelation student member)	Mid-level-ontology.kif 16818-16818	student ist eine teilrelation von mitglied

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

Wenn student Human and EducationalOrganization,
dann es gibt Process um ** Process ist ein fall von EducationalProcess %n{nicht} und eventLocated ** Process and ** EducationalOrganization und ** Process endet an ** Human %n{nicht}

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	Wenn CollegeFreshman ist ein attribut von Position %n{nicht} und Human besetzt die position von Position in Organization, dann es gibt RealNumber um student Human and Organization haelt waehrend RealNumber YearDuration(s) %n{nicht} und ** RealNumber ist kleinerAls 1 %n{nicht}
(=> (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	Wenn CollegeJunior ist ein attribut von Position %n{nicht} und Human besetzt die position von Position in Organization, dann es gibt RealNumber um student Human and Organization haelt waehrend RealNumber YearDuration(s) %n{nicht} und RealNumber ist groesserAlsOderGleich 2 %n{nicht} und RealNumber ist kleinerAls 3 %n{nicht}
(=> (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	Wenn CollegeSenior ist ein attribut von Position %n{nicht} und Human besetzt die position von Position in Organization, dann es gibt RealNumber um student Human and Organization haelt waehrend RealNumber YearDuration(s) %n{nicht} und RealNumber ist groesserAlsOderGleich 3 %n{nicht} und RealNumber ist kleinerAls 4 %n{nicht}
(=> (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	Wenn CollegeSophomore ist ein attribut von Position %n{nicht} und Human besetzt die position von Position in Organization, dann es gibt RealNumber um student Human and Organization haelt waehrend RealNumber YearDuration(s) %n{nicht} und RealNumber ist groesserAlsOderGleich 1 %n{nicht} und RealNumber ist kleinerAls 2 %n{nicht}
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS)))))	Mid-level-ontology.kif 16810-16816	Wenn EducationalOrganization ist ein fall von DaySchool %n{nicht}, dann es gibt nicht Human um student Human and EducationalOrganization und home Human and EducationalOrganization
(=> (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	Wenn Physical ist ein fall von VocationalSchool %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von EducationalProcess %n{nicht} und eventLocated entity and Physical und student entity and Physical und entity erfaehrt entity %n{nicht} und entity ist ein fall von OccupationalTrade %n{nicht} und entity ist ein attribut von entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** entity %n{nicht} %n{nicht}

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

KB Term:			Term intersection

English Word: