Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - codeMapping
codeMapping

appearance as argument number 1
-------------------------


s__documentation(s__codeMapping__m,s__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
s__domain(s__codeMapping__m,1,s__CodeMap)

Media.kif 2259-2259 The number 1 argument of codeMapping is an instance of CodeMap
s__domain(s__codeMapping__m,2,s__SymbolicString)

Media.kif 2260-2260 The number 2 argument of codeMapping is an instance of symbolic string
s__domain(s__codeMapping__m,3,s__Entity)

Media.kif 2261-2261 The number 3 argument of codeMapping is an instance of entity
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/commons/0/07/Gene.png')

pictureList.kif 10670-10670 "http://upload.wikimedia.org/wikipedia/commons/0/07/ Gene.png" is a URL depicting codeMapping
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/commons/2/2b/FortranCodingForm.agr.jpg')

pictureList.kif 10671-10671 "http://upload.wikimedia.org/wikipedia/commons/2/2b/ FortranCodingForm.agr.jpg" is a URL depicting codeMapping
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/commons/4/4c/Linotype_distributor_rail_coding.png')

pictureList.kif 10669-10669 "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Linotype_distributor_rail_coding.png" is a URL depicting codeMapping
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/commons/5/54/DSC_4050-MR-Braille.jpg')

pictureList.kif 10679-10679 "http://upload.wikimedia.org/wikipedia/commons/5/54/ DSC_4050-MR-Braille.jpg" is a URL depicting codeMapping
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/commons/9/95/ColorAlphabetExample.png')

pictureList.kif 10673-10673 "http://upload.wikimedia.org/wikipedia/commons/9/95/ ColorAlphabetExample.png" is a URL depicting codeMapping
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/commons/f/f4/Burnt-in_timecode.jpg')

pictureList.kif 10675-10675 "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Burnt-in_timecode.jpg" is a URL depicting codeMapping
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/en/6/6b/Unicode_sample.png')

pictureList.kif 10676-10676 "http://upload.wikimedia.org/wikipedia/en/6/6b/Unicode_sample.png" is a URL depicting codeMapping
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/en/a/a1/Amercode.png')

pictureList.kif 10674-10674 "http://upload.wikimedia.org/wikipedia/en/a/a1/Amercode.png" is a URL depicting codeMapping
s__externalImage(s__codeMapping__m,'http://upload.wikimedia.org/wikipedia/en/c/c8/Unicodeconsortium_bookv5.jpg')

pictureList.kif 10677-10677 "http://upload.wikimedia.org/wikipedia/en/c/c8/Unicodeconsortium_bookv5.jpg" is a URL depicting codeMapping
s__instance(s__codeMapping__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__SetOrClass)

Media.kif 2258-2258 codeMapping is an instance of ternary predicate

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__codeMapping__m,'%2 in %1 denotes %3')

domainEnglishFormat.kif 764-764

antecedent
-------------------------


( ! [V__A3,V__CURRENCY,V__A2,V__AREA] :
   ((s__codeMapping(s__ISO_4217_A,V__A3,V__CURRENCY)
     &
     s__codeMapping(s__ISO_3166_1_alpha_2,V__A2,V__AREA)
   &
   s__subclass(V__AREA,s__GeopoliticalArea) &
   (V__A2 = s__SubstringFn(V__A3,0,2)))
=>
s__currencyType(V__AREA,V__CURRENCY))
)

Media.kif 2859-2865
( ! [V__CM,V__STR,V__AIR] :
   ((s__instance(V__CM,s__AirlineCodeMap) &
       s__codeMapping(V__CM,V__STR,V__AIR))
   =>
   (s__instance(V__AIR,s__Airline) &
     s__represents(V__STR,V__AIR)))
)

Transportation.kif 3051-3057
( ! [V__MAP,V__TOKEN,V__X] :
   (s__codeMapping(V__MAP,V__TOKEN,V__X)
   =>
   s__represents(V__TOKEN,V__X))
)

Media.kif 2267-2269
( ! [V__STR,V__AIR] :
   (s__codeMapping(s__IACOAirlineCode,V__STR,V__AIR)
   =>
   (3 = s__StringLengthFn(V__STR)))
)

Transportation.kif 3081-3083
( ! [V__STR,V__AIR] :
   (s__codeMapping(s__IACOAirlineCode,V__STR,V__AIR)
   =>
   s__member(V__AIR,s__InternationalCivilAviationOrganization))
)

Transportation.kif 3077-3079
( ! [V__STR,V__AIR] :
   (s__codeMapping(s__IATAAirlineCode,V__STR,V__AIR)
   =>
   (2 = s__StringLengthFn(V__STR)))
)

Transportation.kif 3068-3070
( ! [V__STR,V__AIR] :
   (s__codeMapping(s__IATAAirlineCode,V__STR,V__AIR)
   =>
   s__member(V__AIR,s__InternationalAirTransportAssociation))
)

Transportation.kif 3064-3066
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_3166_1_alpha_2,V__TOKEN,V__X)
   =>
   (s__instance(V__X,s__GeographicArea) &
     s__instance(V__TOKEN,s__AlphabeticString) &
     s__stringLength(2,V__TOKEN)))
)

Media.kif 2606-2611
( ! [V__TOKEN,V__CURRENCY] :
   (s__codeMapping(s__ISO_4217_A,V__TOKEN,V__CURRENCY)
   =>
   s__currencyCode(V__TOKEN,V__CURRENCY))
)

Media.kif 2311-2313
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_4217_A,V__TOKEN,V__X)
   =>
   (s__instance(V__X,s__UnitOfMeasure) &
     s__stringLength(3,V__TOKEN)
   &
   s__instance(V__TOKEN,s__AlphabeticString)))
)

Media.kif 2281-2286
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_639_1,V__TOKEN,V__X)
   =>
   s__instance(V__TOKEN,s__SymbolicString))
)

Languages.kif 14692-14694
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_639_1,V__TOKEN,V__X)
   =>
   (s__instance(V__X,s__HumanLanguage) |
     s__subclass(V__X,s__HumanLanguage)))
)

Languages.kif 14682-14686
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_639_1,V__TOKEN,V__X)
   =>
   s__stringLength(2,V__TOKEN))
)

Languages.kif 14688-14690
( ! [V__String,V__HotelRoom] :
   (s__codeMapping(s__RC_roomType,V__String,V__HotelRoom)
   =>
   s__represents(V__String,V__HotelRoom))
)

TravelPolicies.kif 1031-1033

consequent
-------------------------


( ! [V__OBJ,V__PART,V__NUM] :
   ((s__instance(V__OBJ,s__DigitalDataStorageDevice) &
       s__part(V__PART,V__OBJ)
     &
     s__instance(V__PART,s__DigitalData))
   =>
   (? [V__SCHEME,V__LIST] :
     (s__codeMapping(V__SCHEME,V__PART,V__NUM)
     &
     s__represents(V__LIST,V__SCHEME)
   &
   (s__inList(V__NUM,V__LIST)
   =>
   s__instance(V__NUM,s__BinaryNumber)))))
)

Media.kif 801-812
( ! [V__TOKEN,V__CURRENCY] :
   (s__currencyCode(V__TOKEN,V__CURRENCY)
   =>
   s__codeMapping(s__ISO_4217_A,V__TOKEN,V__CURRENCY))
)

Media.kif 2315-2317

appearance as argument number 0
-------------------------


s__codeMapping(s__ISO_3166_1_alpha_2,'AD',s__Andorra)

Media.kif 2613-2613 "AD" in ISO-3166-1-alpha-2 denotes andorra
s__codeMapping(s__ISO_3166_1_alpha_2,'AE',s__UnitedArabEmirates)

Media.kif 2804-2804 "AE" in ISO-3166-1-alpha-2 denotes united arab emirates
s__codeMapping(s__ISO_3166_1_alpha_2,'AF',s__Afghanistan)

Media.kif 2614-2614 "AF" in ISO-3166-1-alpha-2 denotes afghanistan
s__codeMapping(s__ISO_3166_1_alpha_2,'AG',s__AntiguaAndBarbuda)

Media.kif 2615-2615 "AG" in ISO-3166-1-alpha-2 denotes antigua and barbuda
s__codeMapping(s__ISO_3166_1_alpha_2,'AI',s__Anguilla)

Media.kif 2812-2812 "AI" in ISO-3166-1-alpha-2 denotes anguilla
s__codeMapping(s__ISO_3166_1_alpha_2,'AL',s__Albania)

Media.kif 2616-2616 "AL" in ISO-3166-1-alpha-2 denotes albania
s__codeMapping(s__ISO_3166_1_alpha_2,'AM',s__Armenia)

Media.kif 2617-2617 "AM" in ISO-3166-1-alpha-2 denotes armenia
s__codeMapping(s__ISO_3166_1_alpha_2,'AN',s__NetherlandsAntilles)

Media.kif 2837-2837 "AN" in ISO-3166-1-alpha-2 denotes netherlands antilles
s__codeMapping(s__ISO_3166_1_alpha_2,'AO',s__Angola)

Media.kif 2618-2618 "AO" in ISO-3166-1-alpha-2 denotes angola
s__codeMapping(s__ISO_3166_1_alpha_2,'AQ',s__Antarctica)

Media.kif 2813-2813 "AQ" in ISO-3166-1-alpha-2 denotes antarctica
s__codeMapping(s__ISO_3166_1_alpha_2,'AR',s__Argentina)

Media.kif 2619-2619 "AR" in ISO-3166-1-alpha-2 denotes argentina
s__codeMapping(s__ISO_3166_1_alpha_2,'AS',s__AmericanSamoa)

Media.kif 2811-2811 "AS" in ISO-3166-1-alpha-2 denotes american samoa
s__codeMapping(s__ISO_3166_1_alpha_2,'AT',s__Austria)

Media.kif 2620-2620 "AT" in ISO-3166-1-alpha-2 denotes austria
s__codeMapping(s__ISO_3166_1_alpha_2,'AU',s__Australia)

Media.kif 2621-2621 "AU" in ISO-3166-1-alpha-2 denotes australia
s__codeMapping(s__ISO_3166_1_alpha_2,'AW',s__Aruba)

Media.kif 2814-2814 "AW" in ISO-3166-1-alpha-2 denotes aruba
s__codeMapping(s__ISO_3166_1_alpha_2,'AX',s__AalandIslands)

Media.kif 2622-2622 "AX" in ISO-3166-1-alpha-2 denotes AalandIslands
s__codeMapping(s__ISO_3166_1_alpha_2,'AZ',s__Azerbaijan)

Media.kif 2623-2623 "AZ" in ISO-3166-1-alpha-2 denotes azerbaijan
s__codeMapping(s__ISO_3166_1_alpha_2,'BA',s__BosniaAndHerzegovina)

Media.kif 2624-2624 "BA" in ISO-3166-1-alpha-2 denotes bosnia and herzegovina
s__codeMapping(s__ISO_3166_1_alpha_2,'BB',s__Barbados)

Media.kif 2625-2625 "BB" in ISO-3166-1-alpha-2 denotes barbados
s__codeMapping(s__ISO_3166_1_alpha_2,'BD',s__Bangladesh)

Media.kif 2626-2626 "BD" in ISO-3166-1-alpha-2 denotes bangladesh
s__codeMapping(s__ISO_3166_1_alpha_2,'BE',s__Belgium)

Media.kif 2627-2627 "BE" in ISO-3166-1-alpha-2 denotes belgium
s__codeMapping(s__ISO_3166_1_alpha_2,'BF',s__BurkinaFaso)

Media.kif 2628-2628 "BF" in ISO-3166-1-alpha-2 denotes burkina faso
s__codeMapping(s__ISO_3166_1_alpha_2,'BG',s__Bulgaria)

Media.kif 2629-2629 "BG" in ISO-3166-1-alpha-2 denotes bulgaria
s__codeMapping(s__ISO_3166_1_alpha_2,'BH',s__Bahrain)

Media.kif 2630-2630 "BH" in ISO-3166-1-alpha-2 denotes bahrain
s__codeMapping(s__ISO_3166_1_alpha_2,'BI',s__Burundi)

Media.kif 2631-2631 "BI" in ISO-3166-1-alpha-2 denotes burundi

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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