TreeView Knowledge Base Browser - unpaidItem

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - unpaidItem

unpaidItem

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 449-450
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 445-445	O argumento numero 1 de unpaidItem e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 446-446	O argumento numero 2 de unpaidItem e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 444-444	unpaidItem e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4882-4882
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4881-4881
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4880-4880
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 447-447

antecedent

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

UXExperimentalTerms.kif 452-466

unpaidItem Objeto and AutonomousAgent
o argumento Processo Processo e' uma instancia de Comprar Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent tem a forca modal de Promise Processo Processo e' uma instancia de Comprar Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent

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