TreeView Knowledge Base Browser

appearance as argument number 1

(documentation teacher EnglishLanguage "(teacher ?AGENT ?ORG) means that ?AGENT is a teacher at the EducationalOrganization ?ORG.")	Mid-level-ontology.kif 16894-16895
(domain teacher 1 Human)	Mid-level-ontology.kif 16892-16892	Die Zahl 1 Argument von teacher ist ein fall von Human %n{nicht}
(domain teacher 2 EducationalOrganization)	Mid-level-ontology.kif 16893-16893	Die Zahl 2 Argument von teacher ist ein fall von EducationalOrganization %n{nicht}
(externalImage teacher "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ ed/ Teacher_writing_on_a_Blackboard.jpg/ 400px-Teacher_writing_on_a_Blackboard.jpg")	pictureList.kif 1262-1262
(instance teacher BinaryPredicate)	Mid-level-ontology.kif 16891-16891	teacher ist ein fall von BinaryPredicate %n{nicht}
(subrelation teacher member)	Mid-level-ontology.kif 16890-16890	teacher ist eine teilrelation von mitglied

appearance as argument number 2

(format ChineseLanguage teacher "%1 是个 teacher 在 %2 ")	domainEnglishFormat.kif 4738-4738
(format ChineseTraditionalLanguage teacher "%1 是個 teacher 在 %2 ")	domainEnglishFormat.kif 4737-4737
(format EnglishLanguage teacher "%1 is a teacher in %2")	domainEnglishFormat.kif 4736-4736
(termFormat EnglishLanguage teacher "teacher")	domainEnglishFormat.kif 65952-65952

antecedent

(=>
    (teacher ?AGENT ?ORG)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS EducationalProcess)
            (eventLocated ?PROCESS ?ORG)
            (agent ?PROCESS ?AGENT))))

Mid-level-ontology.kif 16897-16903

Wenn teacher Human and EducationalOrganization,
dann es gibt Process um ** Process ist ein fall von EducationalProcess %n{nicht} und eventLocated ** Process and ** EducationalOrganization und ** Process ist der agent von ** Human %n{nicht}

consequent

(=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool)))	Mid-level-ontology.kif 21051-21057	Wenn Professor ist ein attribut von Human %n{nicht} und Human besetzt die position von Professor in EducationalOrganization, dann teacher Human and EducationalOrganization und EducationalOrganization ist ein fall von PostSecondarySchool %n{nicht}
(=> (and (attribute ?T Teacher) (occupiesPosition ?P ?T ?O)) (teacher ?T ?O))	Mid-level-ontology.kif 18933-18937	Wenn Teacher ist ein attribut von Human %n{nicht} und Human besetzt die position von Human in EducationalOrganization, dann teacher Human and EducationalOrganization

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

KB Term:			Term intersection

English Word: