TreeView Knowledge Base Browser - teacher

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 16867-16868
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16865-16865	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 16866-16866	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16864-16864	teacher is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16863-16863	teacher is a subrelation of member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4738-4738
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4737-4737
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4736-4736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65950-65950

antecedent

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

Mid-level-ontology.kif 16870-16876

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 21024-21030	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 18906-18910	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 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