TreeView Knowledge Base Browser - AccountNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AccountNumber

AccountNumber(account number)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29926-29927
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29928-29928	Account 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 64400-64400

antecedent

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

Mid-level-ontology.kif 29930-29936

If a symbolic string is an instance of account number,
then there exist a physical, an entity and another physical such that the physical is an instance of corporation and the entity is an instance of agent and the symbolic string is a unique ID for the other physical 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