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 2253-2256 | |
(domain codeMapping 1 CodeMap) | Media.kif 2250-2250 | The number 1 argument of codeMapping is an instance of CodeMap |
(domain codeMapping 2 SymbolicString) | Media.kif 2251-2251 | The number 2 argument of codeMapping is an instance of symbolic string |
(domain codeMapping 3 Entity) | Media.kif 2252-2252 | The number 3 argument of codeMapping is an instance of 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 2249-2249 | codeMapping is an instance of ternary predicate |
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 |
![]() |
consequent |
![]() |
(=> (and (instance ?OBJ DigitalDataStorageDevice) (part ?PART ?OBJ) (instance ?PART DigitalData)) (exists (?SCHEME ?LIST ?NUM) (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 2306-2308 |
|
appearance as argument number 0 |
![]() |
![]() |
![]() |