TreeView Knowledge Base Browser - InvoiceNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - InvoiceNumber

InvoiceNumber(invoice number)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29938-29938
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29939-29939	Invoice number is a subclass of symbolic string

appearance as argument number 2

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

domainEnglishFormat.kif 65045-65045

antecedent

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

Mid-level-ontology.kif 29941-29948

If a symbolic string is an instance of invoice number,
then there exist a physical, an agent and a process such that the physical is an instance of invoice and the process is an instance of selling and the agent is an agent of the process and the symbolic string is a unique ID for the agent with respect to the physical

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