EducationalProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - EducationalProcess

EducationalProcess(educational process)

French_lesson, German_lesson, Hebrew_lesson, academically, adult_education, art_class, association, athletic_training, athletics, audio-lingual, aversive_conditioning, basal, basic_training, brainwashing, bronco_busting, brushup, catechesis, catechetic, catechetical, catechetical_instruction, catechistic, chalk_talk, chasten, check, childbirth-preparation_class, civilise, civilize, clarifying, class, classical_conditioning, classroom_project, classwork, close-order_drill, co-educate, coaching, coaching_job, coeducate, coeducation, condition, conditioning, connection, connexion, continuing_education, correspondence_course, counter_conditioning, course, course_of_instruction, course_of_lectures, course_of_study, cultivate...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3070-3070
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11763-11764
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1838-1839
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11761-11761	Educational process is a subclass of guiding

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1401-1401
No TPTP formula. May not be expressible in strict first order.	french_format.kif 773-773
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 305-305
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 308-308
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2457-2457
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 725-725
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 344-344
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 603-603
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 794-794
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 309-309

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18173-18183	If an object is an instance of art school and a process is an instance of educational process and the process is located at the object, then there exist another process and an entity such that the other process is an instance of making and the entity is a patient of the other process and the entity is an instance of art work and the process includes a reference to the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11766-11774	If a process is an instance of educational process and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of learning and the entity is a patient of the other entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18259-18268	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at the post secondary school and student is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9450-9457	If an attribute is an instance of skilled occupation and the attribute is an attribute of an object, then there exists a process such that the process is an instance of educational process and the process ends up at the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 536-545	If coach is an attribute of an agent, then there exist an entity, another entity and a process such that the entity is an instance of human and the other entity is an instance of game and the process is an instance of educational process and the agent is an agent of the process and the entity is a patient of the process and the process includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20500-20502	If teacher is an attribute of an agent, then the agent has the skill to do educational process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24259-24264	If student is an attribute of an object, then there exists a process such that the process is an instance of educational process and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18223-18234	If a human and another human were taught in the same EducationalProcess an educational course together, then there exist a collection, a process and a time position such that the collection is an instance of group of people and the process is an instance of educational process and the process expresses the content of the educational course and the collection is a patient of the process and the time position is a part of the time of existence of the process and the human is a member of the collection during the time position and the human is a member of the collection during the time position
No TPTP formula. May not be expressible in strict first order.	Sports.kif 553-563	If a human coaches another human, then coach is an attribute of the human and there exist an entity and a process such that the entity is an instance of game and the process is an instance of educational process and the human is an agent of the process and the other human is a patient of the process and the process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18038-18045	If a proposition is an instance of educational course, then there exist a process and an object such that the process expresses the content of the proposition and the process is an instance of educational process and the process is located at the object and the object is an instance of educational organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16996-17002	If a physical is an instance of classroom, then the physical has the purpose there exists an entity such that the entity is an instance of educational process and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18115-18127	If a physical is an instance of vocational school, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of educational process and the entity is located at the physical and the other entity is a student of the physical and the other entity experiences the entity and the third entity is an instance of occupational trade and the third entity is an attribute of the other entity holds during the end of the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24248-24254	If a physical is an instance of educational facility, then the physical has the purpose there exists an entity such that the entity is an instance of educational process and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24145-24151	If a physical is an instance of school building, then the physical has the purpose there exists an entity such that the entity is an instance of educational process and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18205-18211	If a human is a student of 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 process ends up at the human
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

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