Correcting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Correcting

Correcting(correcting)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29687-29689
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29686-29686	Correcting is a subclass of stating

appearance as argument number 2

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

domainEnglishFormat.kif 64703-64703

antecedent

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

Mid-level-ontology.kif 29691-29703

If a process is an instance of correcting,
then there exist another process, a third process,, , the third processP and the processP such that the other process is an instance of disagreeing and the process is a subprocess of the other process and the third process is an instance of stating and the third process is a subprocess of the other process and the third process contains information the third processP and the process contains information the processP and the processP includes a reference to the third processP and the third processP is not a consistent of the processP

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