| 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 | codeMapping 的 1 数量 是 CodeMap 的 instance |
| (domain codeMapping 2 SymbolicString) | Media.kif 2260-2260 | codeMapping 的 2 数量 是 符号串 的 instance |
| (domain codeMapping 3 Entity) | Media.kif 2261-2261 | codeMapping 的 3 数量 是 实体 的 instance |
| (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 | codeMapping 是 三元谓语 的 instance |
| 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 |
|
|
| 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 |
|
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners