Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| codeMapping |
| appearance as argument number 1 |
|
| (instance codeMapping TernaryPredicate) | Media.kif 2210-2210 | code mapping is an instance of ternary predicate |
| (domain codeMapping 1 CodeMap) | Media.kif 2211-2211 | The number 1 argument of code mapping is an instance of code map |
| (domain codeMapping 2 SymbolicString) | Media.kif 2212-2212 | The number 2 argument of code mapping is an instance of symbolic string |
| (domain codeMapping 3 Entity) | Media.kif 2213-2213 | The number 3 argument of code mapping is an instance of entity |
| (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 2214-2217 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png") | pictureList.kif 10646-10646 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png") | pictureList.kif 10647-10647 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg") | pictureList.kif 10648-10648 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png") | pictureList.kif 10650-10650 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png") | pictureList.kif 10651-10651 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt_in_timecode.jpg") | pictureList.kif 10652-10652 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png") | pictureList.kif 10653-10653 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg") | pictureList.kif 10654-10654 | The number 3 argument of code mapping is an instance of entity |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR_Braille.jpg") | pictureList.kif 10656-10656 | The number 3 argument of code mapping is an instance of entity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage codeMapping "%2 in %1 denotes %3") | domainEnglishFormat.kif 3012-3012 | |
| (format ChineseTraditionalLanguage codeMapping "%2 在 %1 denotes %3 ") | domainEnglishFormat.kif 3013-3013 | |
| (format ChineseLanguage codeMapping "%2 在 %1 denotes %3 ") | domainEnglishFormat.kif 3014-3014 | |
| (termFormat EnglishLanguage codeMapping "code mapping") | domainEnglishFormat.kif 65801-65801 |
| 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 799-810 | If X is an instance of digital data storage device, Y is a part of X, and Y is an instance of digital data, then there exist Z, W, V such that Y in Z denotes V, W expresses Z, and V is a member of WV is an instance of binary number |
| (=> (currencyCode ?TOKEN ?CURRENCY) (codeMapping ISO_4217_A ?TOKEN ?CURRENCY)) |
Media.kif 2267-2269 | If X is a currency code of Y, then Y in ISO_4217_A denotes X |
| appearance as argument number 0 |
|
|
|