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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EducationalProcess

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 11461-11462
No TPTP formula. May not be expressible in strict first order. Merge.kif 11459-11459 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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16186-16196
No TPTP formula. May not be expressible in strict first order. Merge.kif 11464-11472

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16271-16280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7867-7874
No TPTP formula. May not be expressible in strict first order. Sports.kif 455-464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18263-18265
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22021-22026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16236-16247
No TPTP formula. May not be expressible in strict first order. Sports.kif 472-482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16051-16058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15049-15055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16128-16140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22010-22016
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16218-16224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16289-16295


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