TreeView Knowledge Base Browser - DrawingACheck

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DrawingACheck

DrawingACheck(drawingA check)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 319-319
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9157-9157
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9156-9156
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8455-8455
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 318-318	DrawingA check is a subclass of using an account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20364-20364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20363-20363
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20362-20362

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 321-327	If a process is an instance of drawingA check and a check is a patient of the process and a cognitive agent is an agent of the process and a financial account is a check account of the check, then the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 155-166	If a process is an instance of drawingA check and an entity is a patient of the process and another process is an instance of processingA check and the entity is a patient of the other process and the time of existence of the process is equal to the processTime and the time of existence of the other process is equal to the other processTime and the processTime meets a third time interval and the third time interval meets the other processTime and duration of the third time interval is a real number month duration(s), then the real number is less than 6

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