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 2262-2265 | |
(domain codeMapping 1 CodeMap) | Media.kif 2259-2259 | |
(domain codeMapping 2 SymbolicString) | Media.kif 2260-2260 | |
(domain codeMapping 3 Entity) | Media.kif 2261-2261 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png") | pictureList.kif 10670-10670 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg") | pictureList.kif 10671-10671 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png") | pictureList.kif 10669-10669 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR-Braille.jpg") | pictureList.kif 10679-10679 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png") | pictureList.kif 10673-10673 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt-in_timecode.jpg") | pictureList.kif 10675-10675 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png") | pictureList.kif 10676-10676 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png") | pictureList.kif 10674-10674 | |
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg") | pictureList.kif 10677-10677 | |
(instance codeMapping TernaryPredicate) | Media.kif 2258-2258 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage codeMapping "%2 在 %1 denotes %3 ") | domainEnglishFormat.kif 3019-3019 | |
(format ChineseTraditionalLanguage codeMapping "%2 在 %1 denotes %3 ") | domainEnglishFormat.kif 3018-3018 | |
(format EnglishLanguage codeMapping "%2 in %1 denotes %3") | domainEnglishFormat.kif 3017-3017 |
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 2859-2865 | |
(=> (and (instance ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR))) |
Transportation.kif 3104-3110 | |
(=> (codeMapping ?MAP ?TOKEN ?X) (represents ?TOKEN ?X)) |
Media.kif 2267-2269 | |
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR))) |
Transportation.kif 3134-3136 | |
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (member ?AIR InternationalCivilAviationOrganization)) |
Transportation.kif 3130-3132 | |
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR))) |
Transportation.kif 3121-3123 | |
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (member ?AIR InternationalAirTransportAssociation)) |
Transportation.kif 3117-3119 | |
(=> (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN))) |
Media.kif 2606-2611 | |
(=> (codeMapping ISO-4217-A ?TOKEN ?CURRENCY) (currencyCode ?TOKEN ?CURRENCY)) |
Media.kif 2311-2313 | |
(=> (codeMapping ISO-4217-A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2281-2286 | |
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14693-14695 | |
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14683-14687 | |
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (stringLength 2 ?TOKEN)) |
Languages.kif 14689-14691 |
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 2315-2317 |
appearance as argument number 0 |
![]() |
![]() |
![]() |