| appearance as argument number 1 |
|
| (subrelation teacher member) | Mid-level-ontology.kif 18430-18430 | teacher is a subrelation of member |
| (instance teacher BinaryPredicate) | Mid-level-ontology.kif 18431-18431 | teacher is an instance of binary predicate |
| (domain teacher 1 Human) | Mid-level-ontology.kif 18432-18432 | The number 1 argument of teacher is an instance of human |
| (domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 18433-18433 | The number 2 argument of teacher is an instance of educational organization |
| (documentation teacher EnglishLanguage "(teacher ?AGENT ?ORG) means that ?AGENT is a teacher at the EducationalOrganization ?ORG.") | Mid-level-ontology.kif 18434-18435 | 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 1262-1262 | The number 2 argument of teacher is an instance of educational organization |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage teacher "%1 is a teacher in %2") | domainEnglishFormat.kif 4740-4740 | |
| (format ChineseTraditionalLanguage teacher "%1 是個 teacher 在 %2 ") | domainEnglishFormat.kif 4741-4741 | |
| (format ChineseLanguage teacher "%1 是个 teacher 在 %2 ") | domainEnglishFormat.kif 4742-4742 | |
| (termFormat EnglishLanguage teacher "teacher") | domainEnglishFormat.kif 65986-65986 |
| antecedent |
|
|
| (=> (teacher ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (agent ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 18437-18443 | If X is a teacher in Y, then there exists Z such that Z is an instance of educational process, Z is located at Y, and X is an agent of Z |
| consequent |
|
|
| (=> (and (attribute ?T Teacher) (occupiesPosition ?P ?T ?O)) (teacher ?T ?O)) |
Mid-level-ontology.kif 20840-20844 | If teacher is an attribute of X and Y holds the position of X in Z, then X is a teacher in Z |
| (=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool))) |
Mid-level-ontology.kif 23332-23338 | If professor is an attribute of X and X holds the position of professor in Y, then X is a teacher in Y and Y is an instance of post secondary school |
|
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