consequent

(=>     (and         (instance ?STR DecimalDigitString)         (part ?CHAR ?STR)         (instance ?CHAR Character))     (instance ?CHAR DigitCharacter))	Media.kif 2859-2864	If X is an instance of decimal digit string, Y is a part of X, and Y is an instance of character, then Y is an instance of digit character
(=>     (instance ?ANS AlphaNumericString)     (exists (?A ?N)         (and             (instance ?A AlphabeticCharacter)             (inString ?A ?ANS)             (instance ?N DigitCharacter)             (inString ?N ?ANS))))	Media.kif 2888-2895	If X is an instance of alpha numeric string, then there exist Y, Z such that Y is an instance of alphabetic character, Y is part of X, Z is an instance of digit character, and Z is part of X

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners