TreeView Knowledge Base Browser - EducationalProgram

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

EducationalProgram

Sigma KEE - EducationalProgram

EducationalProgram(educational program)

training_program, vocational_program

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16612-16615
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16611-16611	Educational program is a subclass of plan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16627-16627	Educational course is a subclass of educational program
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21276-21276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21275-21275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21274-21274

antecedent

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

Mid-level-ontology.kif 16617-16625

If a plan is an instance of educational program,
then there exist another plan and a third plan such that the other plan is an instance of educational course and the third plan is an instance of educational course and the other plan is not equal to the third plan and the other plan is a sub-plan of the plan and the third plan is a sub-plan of the plan

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16514-16522	If an object is an instance of academic degree and an agent possesses the object, then there exist a proposition and a process such that the proposition is an instance of educational program and the process expresses the content of the proposition and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7231-7240	If a process is an instance of scholarship and the process ends up at an entity, then the process has the purpose there exist another entity and a third entity such that the other entity is an instance of educational program and the third entity expresses the content of the other entity and the entity experiences the third entity

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