| 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 2267-2270 | |
| (domain codeMapping 1 CodeMap) | Media.kif 2264-2264 | |
| (domain codeMapping 2 SymbolicString) | Media.kif 2265-2265 | |
| (domain codeMapping 3 Entity) | Media.kif 2266-2266 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png") | pictureList.kif 10647-10647 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg") | pictureList.kif 10648-10648 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png") | pictureList.kif 10646-10646 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR_Braille.jpg") | pictureList.kif 10656-10656 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png") | pictureList.kif 10650-10650 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt_in_timecode.jpg") | pictureList.kif 10652-10652 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png") | pictureList.kif 10653-10653 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png") | pictureList.kif 10651-10651 | |
| (externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg") | pictureList.kif 10654-10654 | |
| (instance codeMapping TernaryPredicate) | Media.kif 2263-2263 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage codeMapping "%2 在 %1 denotes %3 ") | domainEnglishFormat.kif 3014-3014 | |
| (format ChineseTraditionalLanguage codeMapping "%2 在 %1 denotes %3 ") | domainEnglishFormat.kif 3013-3013 | |
| (format EnglishLanguage codeMapping "%2 in %1 denotes %3") | domainEnglishFormat.kif 3012-3012 | |
| (termFormat EnglishLanguage codeMapping "code mapping") | domainEnglishFormat.kif 65821-65821 |
| antecedent |
|
|
| (=> (and (codeMapping ISO_4217_A ?A3 ?CURRENCY) (codeMapping ISO_3166_1_alpha_2 ?A2 ?AREA) (instance ?AREA GeopoliticalArea) (equal ?A2 (SubstringFn ?A3 0 2))) (currencyType ?AREA ?CURRENCY)) |
Media.kif 2889-2895 | |
| (=> (and (instance ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR))) |
Transportation.kif 4035-4041 | |
| (=> (codeMapping ?MAP ?TOKEN ?X) (represents ?TOKEN ?X)) |
Media.kif 2272-2274 | |
| (=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR))) |
Transportation.kif 4065-4067 | |
| (=> (codeMapping IACOAirlineCode ?STR ?AIR) (member ?AIR InternationalCivilAviationOrganization)) |
Transportation.kif 4061-4063 | |
| (=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR))) |
Transportation.kif 4052-4054 | |
| (=> (codeMapping IATAAirlineCode ?STR ?AIR) (member ?AIR InternationalAirTransportAssociation)) |
Transportation.kif 4048-4050 | |
| (=> (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN))) |
Media.kif 2636-2641 | |
| (=> (codeMapping ISO_4217_A ?TOKEN ?CURRENCY) (currencyCode ?TOKEN ?CURRENCY)) |
Media.kif 2316-2318 | |
| (=> (codeMapping ISO_4217_A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2286-2291 | |
| (=> (codeMapping ISO_639_1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14715-14717 | |
| (=> (codeMapping ISO_639_1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (instance ?X (subclass ?CLASS 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 ?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 2320-2322 |
| 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 3.0 is open source software produced by Articulate Software and its partners