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


KB Term:  Term intersection
English Word: 

  Alpha3String

 Sigma KEE - Alpha3String
Alpha3String(alpha3 string)

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


(subclass Alpha3String AlphabeticString) Media.kif 2918-2918 Alpha3 string is a subclass of alphabetic string

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


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

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


(=>
    (instance ?STRING Alpha3String)
    (stringLength 3 ?STRING))		 Media.kif 2920-2922 If X is an instance of alpha3 string, then X is 3 characters long

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


(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))		 Media.kif 2924-2928 If X is an instance of alphabetic string and X is 3 characters long, then X 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners