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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - codeMapping
codeMapping

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


(documentation codeMapping EnglishLanguage "(codeMapping ?CodeMap ?SymbolicString ?Entity) means that the token ?SymbolicString, which is defined or specified in ?CodeMap, corresponds to the SUMO concept denoted by ?Entity.") Media.kif 2258-2261
(domain codeMapping 1 CodeMap) Media.kif 2255-2255 domain codeMapping, 1 and CodeMap
(domain codeMapping 2 SymbolicString) Media.kif 2256-2256 domain codeMapping, 2 and SymbolicString
(domain codeMapping 3 Entity) Media.kif 2257-2257 domain codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png") pictureList.kif 10659-10659
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg") pictureList.kif 10660-10660
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png") pictureList.kif 10658-10658
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR-Braille.jpg") pictureList.kif 10668-10668
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png") pictureList.kif 10662-10662
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt-in_timecode.jpg") pictureList.kif 10664-10664
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png") pictureList.kif 10665-10665
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png") pictureList.kif 10663-10663
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg") pictureList.kif 10666-10666
(instance codeMapping TernaryPredicate) Media.kif 2254-2254 instance codeMapping and TernaryPredicate

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


(format ChineseLanguage codeMapping "%2 在 %1 denotes %3 ") domainEnglishFormat.kif 3023-3023
(format ChineseTraditionalLanguage codeMapping "%2 在 %1 denotes %3 ") domainEnglishFormat.kif 3022-3022
(format EnglishLanguage codeMapping "%2 in %1 denotes %3") domainEnglishFormat.kif 3021-3021

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


(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2877-2883
(=>
    (and
        (instance ?CM AirlineCodeMap)
        (codeMapping ?CM ?STR ?AIR))
    (and
        (instance ?AIR Airline)
        (represents ?STR ?AIR)))
Transportation.kif 3142-3148
(=>
    (codeMapping ?MAP ?TOKEN ?X)
    (represents ?TOKEN ?X))
Media.kif 2263-2265
(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (equal 3
        (StringLengthFn ?STR)))
Transportation.kif 3172-3174
(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))
Transportation.kif 3168-3170
(=>
    (codeMapping IATAAirlineCode ?STR ?AIR)
    (equal 2
        (StringLengthFn ?STR)))
Transportation.kif 3159-3161
(=>
    (codeMapping IATAAirlineCode ?STR ?AIR)
    (member ?AIR InternationalAirTransportAssociation))
Transportation.kif 3155-3157
(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))
Media.kif 2624-2629
(=>
    (codeMapping ISO-4217-A ?TOKEN ?CURRENCY)
    (currencyCode ?TOKEN ?CURRENCY))
Media.kif 2307-2309
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))
Media.kif 2277-2282
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))
Languages.kif 14715-14717
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (or
        (instance ?X HumanLanguage)
        (subclass ?X HumanLanguage)))
Languages.kif 14705-14709
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))
Languages.kif 14711-14713

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


(=>
    (and
        (instance ?OBJ DigitalDataStorageDevice)
        (part ?PART ?OBJ)
        (instance ?PART DigitalData))
    (exists (?SCHEME ?LIST)
        (and
            (codeMapping ?SCHEME ?PART ?NUM)
            (represents ?LIST ?SCHEME)
            (=>
                (inList ?NUM ?LIST)
                (instance ?NUM BinaryNumber)))))
Media.kif 801-812
(=>
    (currencyCode ?TOKEN ?CURRENCY)
    (codeMapping ISO-4217-A ?TOKEN ?CURRENCY))
Media.kif 2311-2313

appearance as argument number 0
-------------------------


(codeMapping ISO-3166-1-alpha-2 "AD" Andorra) Media.kif 2631-2631 codeMapping ISO-3166-1-alpha-2, "AD" and Andorra
(codeMapping ISO-3166-1-alpha-2 "AE" UnitedArabEmirates) Media.kif 2822-2822 codeMapping ISO-3166-1-alpha-2, "AE" and UnitedArabEmirates
(codeMapping ISO-3166-1-alpha-2 "AF" Afghanistan) Media.kif 2632-2632 codeMapping ISO-3166-1-alpha-2, "AF" and Afghanistan
(codeMapping ISO-3166-1-alpha-2 "AG" AntiguaAndBarbuda) Media.kif 2633-2633 codeMapping ISO-3166-1-alpha-2, "AG" and AntiguaAndBarbuda
(codeMapping ISO-3166-1-alpha-2 "AI" Anguilla) Media.kif 2830-2830 codeMapping ISO-3166-1-alpha-2, "AI" and Anguilla
(codeMapping ISO-3166-1-alpha-2 "AL" Albania) Media.kif 2634-2634 codeMapping ISO-3166-1-alpha-2, "AL" and Albania
(codeMapping ISO-3166-1-alpha-2 "AM" Armenia) Media.kif 2635-2635 codeMapping ISO-3166-1-alpha-2, "AM" and Armenia
(codeMapping ISO-3166-1-alpha-2 "AN" NetherlandsAntilles) Media.kif 2855-2855 codeMapping ISO-3166-1-alpha-2, "AN" and NetherlandsAntilles
(codeMapping ISO-3166-1-alpha-2 "AO" Angola) Media.kif 2636-2636 codeMapping ISO-3166-1-alpha-2, "AO" and Angola
(codeMapping ISO-3166-1-alpha-2 "AQ" Antarctica) Media.kif 2831-2831 codeMapping ISO-3166-1-alpha-2, "AQ" and Antarctica
(codeMapping ISO-3166-1-alpha-2 "AR" Argentina) Media.kif 2637-2637 codeMapping ISO-3166-1-alpha-2, "AR" and Argentina
(codeMapping ISO-3166-1-alpha-2 "AS" AmericanSamoa) Media.kif 2829-2829 codeMapping ISO-3166-1-alpha-2, "AS" and AmericanSamoa
(codeMapping ISO-3166-1-alpha-2 "AT" Austria) Media.kif 2638-2638 codeMapping ISO-3166-1-alpha-2, "AT" and Austria
(codeMapping ISO-3166-1-alpha-2 "AU" Australia) Media.kif 2639-2639 codeMapping ISO-3166-1-alpha-2, "AU" and Australia
(codeMapping ISO-3166-1-alpha-2 "AW" Aruba) Media.kif 2832-2832 codeMapping ISO-3166-1-alpha-2, "AW" and Aruba
(codeMapping ISO-3166-1-alpha-2 "AX" AalandIslands) Media.kif 2640-2640 codeMapping ISO-3166-1-alpha-2, "AX" and AalandIslands
(codeMapping ISO-3166-1-alpha-2 "AZ" Azerbaijan) Media.kif 2641-2641 codeMapping ISO-3166-1-alpha-2, "AZ" and Azerbaijan
(codeMapping ISO-3166-1-alpha-2 "BA" BosniaAndHerzegovina) Media.kif 2642-2642 codeMapping ISO-3166-1-alpha-2, "BA" and BosniaAndHerzegovina
(codeMapping ISO-3166-1-alpha-2 "BB" Barbados) Media.kif 2643-2643 codeMapping ISO-3166-1-alpha-2, "BB" and Barbados
(codeMapping ISO-3166-1-alpha-2 "BD" Bangladesh) Media.kif 2644-2644 codeMapping ISO-3166-1-alpha-2, "BD" and Bangladesh
(codeMapping ISO-3166-1-alpha-2 "BE" Belgium) Media.kif 2645-2645 codeMapping ISO-3166-1-alpha-2, "BE" and Belgium
(codeMapping ISO-3166-1-alpha-2 "BF" BurkinaFaso) Media.kif 2646-2646 codeMapping ISO-3166-1-alpha-2, "BF" and BurkinaFaso
(codeMapping ISO-3166-1-alpha-2 "BG" Bulgaria) Media.kif 2647-2647 codeMapping ISO-3166-1-alpha-2, "BG" and Bulgaria
(codeMapping ISO-3166-1-alpha-2 "BH" Bahrain) Media.kif 2648-2648 codeMapping ISO-3166-1-alpha-2, "BH" and Bahrain
(codeMapping ISO-3166-1-alpha-2 "BI" Burundi) Media.kif 2649-2649 codeMapping ISO-3166-1-alpha-2, "BI" and Burundi

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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