TreeView Knowledge Base Browser

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 2269-2272
(domain codeMapping 1 CodeMap)	Media.kif 2266-2266	域 codeMapping, 1 and CodeMap
(domain codeMapping 2 SymbolicString)	Media.kif 2267-2267	域 codeMapping, 2 and SymbolicString
(domain codeMapping 3 Entity)	Media.kif 2268-2268	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Gene.png")	pictureList.kif 10647-10647	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ FortranCodingForm.agr.jpg")	pictureList.kif 10648-10648	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Linotype_distributor_rail_coding.png")	pictureList.kif 10646-10646	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ DSC_4050-MR_Braille.jpg")	pictureList.kif 10656-10656	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ ColorAlphabetExample.png")	pictureList.kif 10650-10650	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Burnt_in_timecode.jpg")	pictureList.kif 10652-10652	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/6/6b/ Unicode_sample.png")	pictureList.kif 10653-10653	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/a/a1/ Amercode.png")	pictureList.kif 10651-10651	域 codeMapping, 3 and Entity
(externalImage codeMapping "http://upload.wikimedia.org/wikipedia/en/c/c8/ Unicodeconsortium_bookv5.jpg")	pictureList.kif 10654-10654	域 codeMapping, 3 and Entity
(instance codeMapping TernaryPredicate)	Media.kif 2265-2265	例 codeMapping and TernaryPredicate

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

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 2891-2897	SymbolicString 在 ISO_4217_A denotes UnitOfCurrency SymbolicString 在 ISO_3166_1_alpha_2 denotes GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea equal SymbolicString and SymbolicString 的 sub-string 從 0 對於 2 UnitOfCurrency 是 GeopoliticalArea 的 currency 類別
(=> (and (instance ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR)))	Transportation.kif 4041-4047	例 CodeMap and AirlineCodeMap SymbolicString 在 CodeMap denotes Entity 例 Entity and Airline 代表 SymbolicString and Entity
(=> (codeMapping ?MAP ?TOKEN ?X) (represents ?TOKEN ?X))	Media.kif 2274-2276	SymbolicString 在 CodeMap denotes Entity 代表 SymbolicString and Entity
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR)))	Transportation.kif 4071-4073	SymbolicString 在 IACOAirlineCode denotes Entity equal 3 and SymbolicString 的 length
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (member ?AIR InternationalCivilAviationOrganization))	Transportation.kif 4067-4069	SymbolicString 在 IACOAirlineCode denotes Physical 會員 Physical and 國際民航組織
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR)))	Transportation.kif 4058-4060	SymbolicString 在 IATAAirlineCode denotes Entity equal 2 and SymbolicString 的 length
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (member ?AIR InternationalAirTransportAssociation))	Transportation.kif 4054-4056	SymbolicString 在 IATAAirlineCode denotes Physical 會員 Physical and InternationalAirTransportAssociation
(=> (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN)))	Media.kif 2638-2643	SymbolicString 在 ISO_3166_1_alpha_2 denotes Entity 例 Entity and GeographicArea 例 SymbolicString and AlphabeticString SymbolicString 是 2 characters long
(=> (codeMapping ISO_4217_A ?TOKEN ?CURRENCY) (currencyCode ?TOKEN ?CURRENCY))	Media.kif 2318-2320	SymbolicString 在 ISO_4217_A denotes UnitOfCurrency UnitOfCurrency 是 SymbolicString 的 currency 代碼
(=> (codeMapping ISO_4217_A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString)))	Media.kif 2288-2293	SymbolicString 在 ISO_4217_A denotes Entity 例 Entity and UnitOfMeasure SymbolicString 是 3 characters long 例 SymbolicString and AlphabeticString
(=> (codeMapping ISO_639_1 ?TOKEN ?X) (instance ?TOKEN SymbolicString))	Languages.kif 14715-14717	SymbolicString 在 ISO_639_1 denotes Entity 例 SymbolicString and SymbolicString
(=> (codeMapping ISO_639_1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (instance ?X (subclass ?CLASS HumanLanguage))))	Languages.kif 14705-14709	SymbolicString 在 ISO_639_1 denotes Entity 例 Entity and HumanLanguage 例 Entity and 子類 entity and HumanLanguage
(=> (codeMapping ISO_639_1 ?TOKEN ?X) (stringLength 2 ?TOKEN))	Languages.kif 14711-14713	SymbolicString 在 ISO_639_1 denotes Entity SymbolicString 是 2 characters long

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	例 Object and DigitalDataStorageDevice 部分 SymbolicString and Object 例 SymbolicString and 數字數據 CodeMap List and Entity SymbolicString 在 CodeMap denotes Entity 代表 List and CodeMap 在列表中 Entity and List 例 Entity and BinaryNumber
(=> (currencyCode ?TOKEN ?CURRENCY) (codeMapping ISO_4217_A ?TOKEN ?CURRENCY))	Media.kif 2322-2324	UnitOfCurrency 是 SymbolicString 的 currency 代碼 SymbolicString 在 ISO_4217_A denotes UnitOfCurrency

appearance as argument number 0

(codeMapping ISO_3166_1_alpha_2 "AD" Andorra)	Media.kif 2645-2645	"AD" 在 ISO_3166_1_alpha_2 denotes 安道爾
(codeMapping ISO_3166_1_alpha_2 "AE" UnitedArabEmirates)	Media.kif 2836-2836	"AE" 在 ISO_3166_1_alpha_2 denotes 阿拉伯聯合酋長國
(codeMapping ISO_3166_1_alpha_2 "AF" Afghanistan)	Media.kif 2646-2646	"AF" 在 ISO_3166_1_alpha_2 denotes 阿富汗
(codeMapping ISO_3166_1_alpha_2 "AG" AntiguaAndBarbuda)	Media.kif 2647-2647	"AG" 在 ISO_3166_1_alpha_2 denotes 安提瓜和巴布達
(codeMapping ISO_3166_1_alpha_2 "AI" Anguilla)	Media.kif 2844-2844	"AI" 在 ISO_3166_1_alpha_2 denotes 安圭拉
(codeMapping ISO_3166_1_alpha_2 "AL" Albania)	Media.kif 2648-2648	"AL" 在 ISO_3166_1_alpha_2 denotes 阿爾巴尼亞
(codeMapping ISO_3166_1_alpha_2 "AM" Armenia)	Media.kif 2649-2649	"AM" 在 ISO_3166_1_alpha_2 denotes 亞美尼亞
(codeMapping ISO_3166_1_alpha_2 "AN" NetherlandsAntilles)	Media.kif 2869-2869	"AN" 在 ISO_3166_1_alpha_2 denotes 荷屬安的列斯
(codeMapping ISO_3166_1_alpha_2 "AO" Angola)	Media.kif 2650-2650	"AO" 在 ISO_3166_1_alpha_2 denotes 安哥拉
(codeMapping ISO_3166_1_alpha_2 "AQ" Antarctica)	Media.kif 2845-2845	"AQ" 在 ISO_3166_1_alpha_2 denotes 南極洲
(codeMapping ISO_3166_1_alpha_2 "AR" Argentina)	Media.kif 2651-2651	"AR" 在 ISO_3166_1_alpha_2 denotes 阿根廷
(codeMapping ISO_3166_1_alpha_2 "AS" AmericanSamoa)	Media.kif 2843-2843	"AS" 在 ISO_3166_1_alpha_2 denotes 美國薩摩亞
(codeMapping ISO_3166_1_alpha_2 "AT" Austria)	Media.kif 2652-2652	"AT" 在 ISO_3166_1_alpha_2 denotes 奧地利
(codeMapping ISO_3166_1_alpha_2 "AU" Australia)	Media.kif 2653-2653	"AU" 在 ISO_3166_1_alpha_2 denotes 澳大利亞
(codeMapping ISO_3166_1_alpha_2 "AW" Aruba)	Media.kif 2846-2846	"AW" 在 ISO_3166_1_alpha_2 denotes 阿魯巴
(codeMapping ISO_3166_1_alpha_2 "AX" AalandIslands)	Media.kif 2654-2654	"AX" 在 ISO_3166_1_alpha_2 denotes AalandIslands
(codeMapping ISO_3166_1_alpha_2 "AZ" Azerbaijan)	Media.kif 2655-2655	"AZ" 在 ISO_3166_1_alpha_2 denotes 阿塞拜疆
(codeMapping ISO_3166_1_alpha_2 "BA" BosniaAndHerzegovina)	Media.kif 2656-2656	"BA" 在 ISO_3166_1_alpha_2 denotes 波斯尼亞和黑塞哥維那
(codeMapping ISO_3166_1_alpha_2 "BB" Barbados)	Media.kif 2657-2657	"BB" 在 ISO_3166_1_alpha_2 denotes 巴巴多斯
(codeMapping ISO_3166_1_alpha_2 "BD" Bangladesh)	Media.kif 2658-2658	"BD" 在 ISO_3166_1_alpha_2 denotes 孟加拉國
(codeMapping ISO_3166_1_alpha_2 "BE" Belgium)	Media.kif 2659-2659	"BE" 在 ISO_3166_1_alpha_2 denotes 比利時
(codeMapping ISO_3166_1_alpha_2 "BF" BurkinaFaso)	Media.kif 2660-2660	"BF" 在 ISO_3166_1_alpha_2 denotes 布基納法索
(codeMapping ISO_3166_1_alpha_2 "BG" Bulgaria)	Media.kif 2661-2661	"BG" 在 ISO_3166_1_alpha_2 denotes 保加利亞
(codeMapping ISO_3166_1_alpha_2 "BH" Bahrain)	Media.kif 2662-2662	"BH" 在 ISO_3166_1_alpha_2 denotes 巴林
(codeMapping ISO_3166_1_alpha_2 "BI" Burundi)	Media.kif 2663-2663	"BI" 在 ISO_3166_1_alpha_2 denotes 布隆迪

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)

KB Term:			Term intersection

English Word: