TreeView Knowledge Base Browser - Alpha3String

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 2973-2973

Alpha3 string is a subclass of alphabetic string

appearance as argument number 2

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

antecedent

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

Media.kif 2975-2977

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 2979-2983

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 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