DigitCharacter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DigitCharacter

DigitCharacter(digit character)

more pictures...

decimal_digit, number, numeral

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19471-19472
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10849-10849
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9981-9981
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10856-10856
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10857-10857
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10852-10852
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10854-10854
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10855-10855
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10848-10848
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10850-10850
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10853-10853
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10851-10851
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19470-19470	Digit character is a subclass of character

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19536-19536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19535-19535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19534-19534

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2912-2917	If an object is an instance of decimal digit string and another object is a part of the object and the other object is an instance of character, then the other object is an instance of digit character
No TPTP formula. May not be expressible in strict first order.	Media.kif 2941-2948	If a symbolic string is an instance of alpha numeric string, then there exist a character and another character such that the character is an instance of alphabetic character and the character is part of the symbolic string and the other character is an instance of digit character and the other character is part of the symbolic string

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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