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 2 SymbolicString) | Media.kif 2256-2256 | |
(domain codeMapping 3 Entity) | Media.kif 2257-2257 | |
(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 |
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 |
![]() |
![]() |
![]() |