Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  teacher

Sigma KEE - teacher
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 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)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners