Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PathologicProcess

 Sigma KEE - codeMapping
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
-------------------------


(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (instance ?X HumanLanguage))		 Languages.kif 14735-14737 If X in ISO_639_1 denotes Y, then Y is an instance of human language
(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))		 Languages.kif 14739-14741 If X in ISO_639_1 denotes Y, then X is 2 characters long
(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))		 Languages.kif 14743-14745 If X in ISO_639_1 denotes Y, then X is an instance of symbolic string
(=>
    (codeMapping ?MAP ?TOKEN ?X)
    (represents ?TOKEN ?X))		 Media.kif 2219-2221 If X in Y denotes Z, then X expresses Z
(=>
    (codeMapping ISO_4217_A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2233-2238 If X in ISO_4217_A denotes Y, then Y is an instance of unit of measure, X is 3 characters long, and X is an instance of alphabetic string
(=>
    (codeMapping ISO_4217_A ?TOKEN ?CURRENCY)
    (currencyCode ?TOKEN ?CURRENCY))		 Media.kif 2263-2265 If X in ISO_4217_A denotes Y, then Y is a currency code of X
(=>
    (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2583-2588 If X in ISO_3166_1_alpha_2 denotes Y, then Y is an instance of geographic area, X is an instance of alphabetic string, and X is 2 characters long
(=>
    (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 2836-2842 If X in ISO_4217_A denotes Y, Z in ISO_3166_1_alpha_2 denotes W, W is an instance of geopolitical area, and equal Z and the sub-string of X from 0 to 2, then Y is a currency type of W
(=>
    (and
        (instance ?CM AirlineCodeMap)
        (codeMapping ?CM ?STR ?AIR))
    (and
        (instance ?AIR Airline)
        (represents ?STR ?AIR)))		 Transportation.kif 4581-4587 If X is an instance of airline code map and Y in X denotes Z, then Z is an instance of Airline and Y expresses Z
(=>
    (codeMapping IATAAirlineCode ?STR ?AIR)
    (member ?AIR InternationalAirTransportAssociation))		 Transportation.kif 4594-4596 If X in IATA airline code denotes Y, then Y is a member of International Air Transport Association
(=>
    (codeMapping IATAAirlineCode ?STR ?AIR)
    (equal 2
        (StringLengthFn ?STR)))		 Transportation.kif 4598-4600 If X in IATA airline code denotes Y, then equal 2 and the length of X
(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))		 Transportation.kif 4607-4609 If X in IACO airline code denotes Y, then Y is a member of international civil aviation organization
(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (equal 3
        (StringLengthFn ?STR)))		 Transportation.kif 4611-4613 If X in IACO airline code denotes Y, then equal 3 and the length of X
(=>
    (codeMapping RCroomType ?String ?HotelRoom)
    (represents ?String ?HotelRoom))		 TravelPolicies.kif 1053-1055 If X in RCroomType denotes Y, then X expresses Y

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
-------------------------


(codeMapping ISO_639_1 "af" AfrikaansLanguage) Languages.kif 14747-14747 "af" in ISO_639_1 denotes afrikaans language
(codeMapping ISO_639_1 "cy" WelshLanguage) Languages.kif 14748-14748 "cy" in ISO_639_1 denotes welsh language
(codeMapping ISO_639_1 "da" DanishLanguage) Languages.kif 14749-14749 "da" in ISO_639_1 denotes danish language
(codeMapping ISO_639_1 "de" GermanLanguage) Languages.kif 14750-14750 "de" in ISO_639_1 denotes german language
(codeMapping ISO_639_1 "nl" DutchLanguage) Languages.kif 14751-14751 "nl" in ISO_639_1 denotes dutch language
(codeMapping ISO_639_1 "en" EnglishLanguage) Languages.kif 14752-14752 "en" in ISO_639_1 denotes english language
(codeMapping ISO_639_1 "fo" FaroeseLanguage) Languages.kif 14753-14753 "fo" in ISO_639_1 denotes Faroese language
(codeMapping ISO_639_1 "fi" FinnishLanguage) Languages.kif 14754-14754 "fi" in ISO_639_1 denotes Finnish language
(codeMapping ISO_639_1 "fr" FrenchLanguage) Languages.kif 14755-14755 "fr" in ISO_639_1 denotes french language
(codeMapping ISO_639_1 "gd" ScotsGaelicLanguage) Languages.kif 14756-14756 "gd" in ISO_639_1 denotes scots gaelic language
(codeMapping ISO_639_1 "ga" IrishGaelicLanguage) Languages.kif 14757-14757 "ga" in ISO_639_1 denotes irish gaelic language
(codeMapping ISO_639_1 "is" IcelandicLanguage) Languages.kif 14758-14758 "is" in ISO_639_1 denotes Icelandic language
(codeMapping ISO_639_1 "lb" LuxembourgeoisLanguage) Languages.kif 14759-14759 "lb" in ISO_639_1 denotes luxembourgeois language
(codeMapping ISO_639_1 "mi" MaoriLanguage) Languages.kif 14760-14760 "mi" in ISO_639_1 denotes Maori
(codeMapping ISO_639_1 "nd" NorthernNdebeleLanguage) Languages.kif 14761-14761 "nd" in ISO_639_1 denotes Northern Ndebele language
(codeMapping ISO_639_1 "nr" SouthernNdebeleLanguage) Languages.kif 14762-14762 "nr" in ISO_639_1 denotes Southern Ndebele language
(codeMapping ISO_639_1 "nn" NynorskNorwegianLanguage) Languages.kif 14763-14763 "nn" in ISO_639_1 denotes Nynorsk Norwegian language
(codeMapping ISO_639_1 "nb" BokmalNorwegianLanguage) Languages.kif 14764-14764 "nb" in ISO_639_1 denotes bokmal norwegian language
(codeMapping ISO_639_1 "no" NorwegianLanguage) Languages.kif 14765-14765 "no" in ISO_639_1 denotes Norwegian language
(codeMapping ISO_639_1 "ny" ChichewaLanguage) Languages.kif 14766-14766 "ny" in ISO_639_1 denotes Chichewa language
(codeMapping ISO_639_1 "st" SouthernSothoLanguage) Languages.kif 14767-14767 "st" in ISO_639_1 denotes Southern Sotho language
(codeMapping ISO_639_1 "ss" SwatiLanguage) Languages.kif 14768-14768 "ss" in ISO_639_1 denotes Swati language
(codeMapping ISO_639_1 "sv" SwedishLanguage) Languages.kif 14769-14769 "sv" in ISO_639_1 denotes swedish language
(codeMapping ISO_639_1 "tn" TswanaLanguage) Languages.kif 14770-14770 "tn" in ISO_639_1 denotes Tswana language
(codeMapping ISO_639_1 "ts" TsongaLanguage) Languages.kif 14771-14771 "ts" in ISO_639_1 denotes Tsonga language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners