Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AlphabeticString
AlphabeticString

appearance as argument number 1
-------------------------


s__instance(s__LinguisticExpression,s__Class)

s__subclass(s__AlphabeticString,s__LinguisticExpression)

s__instance(s__AlphabeticString,s__Class)

 Media.kif 2884-2884 AlphabeticString is a subclass of linguistic expression
s__subclass(s__AlphabeticString,s__SymbolicString)

s__instance(s__SymbolicString,s__Class)

s__instance(s__AlphabeticString,s__Class)

 Media.kif 2883-2883 AlphabeticString is a subclass of symbolic string

appearance as argument number 2
-------------------------


s__instance(s__Alpha2String,s__Class)

s__subclass(s__Alpha2String,s__AlphabeticString)

s__instance(s__AlphabeticString,s__Class)

 Media.kif 2968-2968 Alpha2String is a subclass of AlphabeticString
s__subclass(s__Alpha3String,s__AlphabeticString)

s__instance(s__Alpha3String,s__Class)

s__instance(s__AlphabeticString,s__Class)

 Media.kif 2953-2953 Alpha3String is a subclass of AlphabeticString
s__instance(s__AlphaIDString,s__Class)

s__subclass(s__AlphaIDString,s__AlphabeticString)

s__instance(s__AlphabeticString,s__Class)

 Media.kif 2951-2951 AlphaIDString is a subclass of AlphabeticString

antecedent
-------------------------


( ! [V__CHAR,V__STR] :
   (((s__instance(V__STR,s__AlphabeticString) &
         s__part(V__CHAR,V__STR)
       &
       s__instance(V__CHAR,s__Character))
     =>
     (s__instance(V__CHAR,s__AlphabeticCharacter)))
   )
)

 Media.kif 2886-2891
( ! [V__STRING] :
   (((s__instance(V__STRING,s__AlphabeticString) &
         s__stringLength(n__2,V__STRING))
     =>
     (s__instance(V__STRING,s__Alpha2String)))
   )
)

 Media.kif 2974-2978
( ! [V__STRING] :
   (((s__instance(V__STRING,s__AlphabeticString) &
         s__stringLength(n__3,V__STRING))
     =>
     (s__instance(V__STRING,s__Alpha3String)))
   )
)

 Media.kif 2959-2963

consequent
-------------------------


( ! [V__X,V__TOKEN] :
   ((s__instance(V__TOKEN,s__SymbolicString) =>
       ((s__codeMapping(s__ISO_3166_1_alpha_2,V__TOKEN,V__X)
         =>
         ((s__instance(V__X,s__GeographicArea) &
             s__instance(V__TOKEN,s__AlphabeticString) &
             s__stringLength(n__2,V__TOKEN))))))
)
)

 Media.kif 2618-2623
( ! [V__X,V__TOKEN] :
   ((s__instance(V__TOKEN,s__SymbolicString) =>
       ((s__codeMapping(s__ISO_4217_A,V__TOKEN,V__X)
         =>
         ((s__instance(V__X,s__UnitOfMeasure) &
             s__stringLength(n__3,V__TOKEN)
           &
           s__instance(V__TOKEN,s__AlphabeticString))))))
)
)

 Media.kif 2281-2286


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