NumericString4 - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NumericString4

NumericString4(numeric string4)

appearance as argument number 1

(subclass NumericString4 DecimalDigitString)

Media.kif 2953-2953

Numeric string4 is a subclass of decimal digit string

appearance as argument number 2

(termFormat EnglishLanguage NumericString4 "numeric string4")

domainEnglishFormat.kif 65253-65253

antecedent

(=>
(instance ?STRING NumericString4)
(stringLength 4 ?STRING))

Media.kif 2955-2957

If a symbolic string is an instance of numeric string4,
then the symbolic string is 4 characters long

consequent

(=>
    (and
        (instance ?STRING DecimalDigitString)
        (stringLength 4 ?STRING))
    (instance ?STRING NumericString4))

Media.kif 2959-2963

If a symbolic string is an instance of decimal digit string and the symbolic string is 4 characters long,
then the symbolic string is an instance of numeric string4

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