AcademicDegree - Sigma Knowledge base Browser

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 16511-16512
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 16510-16510	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 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

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