Alpha3String - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Alpha3String

Alpha3String(alpha3 string)

appearance as argument number 1

(subclass Alpha3String AlphabeticString)

Media.kif 2971-2971

Alpha3 string is a subclass of alphabetic string

appearance as argument number 2

(subclass Alpha3IDString Alpha3String)	Media.kif 2984-2984	Alpha3ID string is a subclass of alpha3 string
(termFormat EnglishLanguage Alpha3String "alpha3 string")	domainEnglishFormat.kif 64431-64431

antecedent

(=>
(instance ?STRING Alpha3String)
(stringLength 3 ?STRING))

Media.kif 2973-2975

If a symbolic string is an instance of alpha3 string,
then the symbolic string is 3 characters long

consequent

(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))

Media.kif 2977-2981

If a symbolic string is an instance of alphabetic string and the symbolic string is 3 characters long,
then the symbolic string is an instance of alpha3 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