TreeView Knowledge Base Browser - AcademicDegree

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AcademicDegree

AcademicDegree(academic degree)

academic_degree, degree

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16510-16511
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2741-2741
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16509-16509	Academic degree is a subclass of certificate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5196-5196
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5195-5195
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5194-5194

antecedent

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

Mid-level-ontology.kif 16513-16521

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

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