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 29950-29951
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29952-29952	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 64402-64402

antecedent

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

Mid-level-ontology.kif 29954-29960

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