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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14424-14425
(domain teacher 1 Human) Mid-level-ontology.kif 14422-14422 The number 1 argument of teacher is an instance of human
(domain teacher 2 EducationalOrganization) Mid-level-ontology.kif 14423-14423 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 1263-1263
(instance teacher BinaryPredicate) Mid-level-ontology.kif 14421-14421 teacher is an instance of binary predicate
(subrelation teacher member) Mid-level-ontology.kif 14420-14420 teacher is a subrelation of member

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (teacher ?AGENT ?ORG)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS EducationalProcess)
            (eventLocated ?PROCESS ?ORG)
            (agent ?PROCESS ?AGENT))))
Mid-level-ontology.kif 14427-14433

consequent
-------------------------


(=>
    (and
        (attribute ?PROF Professor)
        (occupiesPosition ?PROF Professor ?ORG))
    (and
        (teacher ?PROF ?ORG)
        (instance ?ORG PostSecondarySchool)))
Mid-level-ontology.kif 18705-18711
(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))
Mid-level-ontology.kif 16634-16638


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners