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 16538-16539
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 16537-16537	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 16541-16549

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