Student - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Student EnglishLanguage "A person who participates in an EducationalProcess in order to learn something.")	Mid-level-ontology.kif 22649-22650
(externalImage Student "http://articulatesoftware.com/SUMOpictures/education/ kids/ students/ student.png")	pictureList.kif 757-757
(instance Student SocialRole)	Mid-level-ontology.kif 22648-22648	Student ist ein fall von SocialRole %n{nicht}

appearance as argument number 2

(termFormat ChineseLanguage Student "学生")	domainEnglishFormat.kif 55688-55688
(termFormat ChineseTraditionalLanguage Student "學生")	domainEnglishFormat.kif 55687-55687
(termFormat EnglishLanguage Student "student")	domainEnglishFormat.kif 55686-55686

antecedent

(=>
    (attribute ?X Student)
    (exists (?EV)
        (and
            (instance ?EV EducationalProcess)
            (patient ?EV ?X))))

Mid-level-ontology.kif 22651-22656

Wenn Student ist ein attribut von Object %n{nicht},
dann es gibt Process um ** Process ist ein fall von EducationalProcess %n{nicht} und ** Object ist ein patient von ** Process %n{nicht}

consequent

(=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student)))))	Mid-level-ontology.kif 16879-16888	Wenn almaMater Human and PostSecondarySchool, dann es gibt Process um Process ist ein fall von EducationalProcess %n{nicht} und Process endet an Human %n{nicht} und eventLocated Process and PostSecondarySchool und Student ist ein attribut von Human %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (instance ?X SchoolBuilding) (exists (?L ?P) (and (instance ?L Learning) (patient ?L ?P) (attribute ?P Student) (eventLocated ?L ?X))))	Mid-level-ontology.kif 22545-22552	Wenn Object ist ein fall von SchoolBuilding %n{nicht}, dann es gibt Process und Object um Process ist ein fall von Learning %n{nicht} und Object ist ein patient von Process %n{nicht} und Student ist ein attribut von Object %n{nicht} und eventLocated Process and ** Object