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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alpha3String
Alpha3String

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


(subclass Alpha3String AlphabeticString) Media.kif 2941-2941 subclass Alpha3String and AlphabeticString

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


(subclass Alpha3IDString Alpha3String) Media.kif 2954-2954 subclass Alpha3IDString and Alpha3String

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


(=>
    (instance ?STRING Alpha3String)
    (stringLength 3 ?STRING))
Media.kif 2943-2945

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


(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))
Media.kif 2947-2951


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners