teacher |
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 14451-14452 | |
(domain teacher 1 Human) | Mid-level-ontology.kif 14449-14449 | |
(domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 14450-14450 | |
(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 14448-14448 | |
(subrelation teacher member) | Mid-level-ontology.kif 14447-14447 |
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 14454-14460 |
consequent |
![]() |
(=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool))) |
Mid-level-ontology.kif 18736-18742 | |
(=> (and (attribute ?T Teacher) (occupiesPosition ?P ?T ?O)) (teacher ?T ?O)) |
Mid-level-ontology.kif 16664-16668 |
![]() |
![]() |