PerformanceProgram - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PerformanceProgram

PerformanceProgram(performance program)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14536-14537
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2721-2721
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14535-14535	Performance program is a subclass of factual text

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45132-45132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45131-45131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45130-45130

antecedent

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

Mid-level-ontology.kif 14539-14545

If a content bearing physical is an instance of performance program,
then there exist a process and a proposition such that the content bearing physical contains information the proposition and the process expresses the content of the proposition and the process is an instance of performance

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