teacher - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18274-18275
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18272-18272	The number 1 argument of teacher is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18273-18273	The number 2 argument of teacher is an instance of educational organization
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1262-1262	The number 2 argument of teacher is an instance of educational organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18271-18271	teacher is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18270-18270	teacher is a subrelation of member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4742-4742
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4741-4741
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4740-4740
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 66008-66008

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18277-18283

If a human is a teacher in an educational organization,
then there exists a process such that the process is an instance of educational process and the process is located at the educational organization and the human is an agent of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22658-22664	If professor is an attribute of a human and the human holds the position of professor in an educational organization, then the human is a teacher in the educational organization and the educational organization is an instance of post secondary school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20494-20498	If teacher is an attribute of a human and another human holds the position of the human in an educational organization, then the human is a teacher in the educational organization

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 3.0 is open source software produced by Articulate Software and its partners