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 16286-16287
(domain teacher 1 Human)	Mid-level-ontology.kif 16284-16284
(domain teacher 2 EducationalOrganization)	Mid-level-ontology.kif 16285-16285
(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 1263-1263
(instance teacher BinaryPredicate)	Mid-level-ontology.kif 16283-16283
(subrelation teacher member)	Mid-level-ontology.kif 16282-16282

appearance as argument number 2

(format ChineseLanguage teacher "%1 是个 teacher 在 %2 ")	domainEnglishFormat.kif 4747-4747
(format ChineseTraditionalLanguage teacher "%1 是個 teacher 在 %2 ")	domainEnglishFormat.kif 4746-4746
(format EnglishLanguage teacher "%1 is a teacher in %2")	domainEnglishFormat.kif 4745-4745

antecedent

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

Mid-level-ontology.kif 16289-16295

consequent

(=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool)))	Mid-level-ontology.kif 20341-20347
(=> (and (attribute ?T Teacher) (occupiesPosition ?P ?T ?O)) (teacher ?T ?O))	Mid-level-ontology.kif 18257-18261

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

KB Term:			Term intersection

English Word: