TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation teacher member)	Mid-level-ontology.kif 18481-18481	teacher is a subrelation of member
(instance teacher BinaryPredicate)	Mid-level-ontology.kif 18482-18482	teacher is an instance of binary predicate
(domain teacher 1 Human)	Mid-level-ontology.kif 18483-18483	The number 1 argument of teacher is an instance of human
(domain teacher 2 EducationalOrganization)	Mid-level-ontology.kif 18484-18484	The number 2 argument of teacher is an instance of educational organization
(documentation teacher EnglishLanguage "(teacher ?AGENT ?ORG) means that ?AGENT is a teacher at the EducationalOrganization ?ORG.")	Mid-level-ontology.kif 18485-18486	The number 2 argument of teacher is an instance of educational organization
(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	The number 2 argument of teacher is an instance of educational organization

appearance as argument number 2

(format EnglishLanguage teacher "%1 is a teacher in %2")	domainEnglishFormat.kif 4740-4740
(format ChineseTraditionalLanguage teacher "%1 是個 teacher 在 %2 ")	domainEnglishFormat.kif 4741-4741
(format ChineseLanguage teacher "%1 是个 teacher 在 %2 ")	domainEnglishFormat.kif 4742-4742
(termFormat EnglishLanguage teacher "teacher")	domainEnglishFormat.kif 65986-65986

antecedent

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

Mid-level-ontology.kif 18488-18494

If X is a teacher in Y, then there exists Z such that Z is an instance of educational process, Z is located at Y, and X is an agent of Z

consequent

(=> (and (attribute ?T Teacher) (occupiesPosition ?P ?T ?O)) (teacher ?T ?O))	Mid-level-ontology.kif 20843-20847	If teacher is an attribute of X and Y holds the position of X in Z, then X is a teacher in Z
(=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool)))	Mid-level-ontology.kif 23266-23272	If professor is an attribute of X and X holds the position of professor in Y, then X is a teacher in Y and Y is an instance of post secondary school

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

KB Term:			Term intersection

English Word: