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

Formal Language: 



KB Term:  Term intersection
English Word: 

  termFormat

Sigma KEE - termFormat
termFormat

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


(documentation termFormat ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍一个术语。") Merge.kif 436-436
(documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") Merge.kif 434-435
(domain termFormat 1 Language) Merge.kif 431-431 The number 1 argument of term format is an instance of language
(domain termFormat 2 Entity) Merge.kif 432-432 The number 2 argument of term format is an instance of entity
(domain termFormat 3 SymbolicString) Merge.kif 433-433 The number 3 argument of term format is an instance of symbolic string
(instance termFormat TernaryPredicate) Merge.kif 430-430 term format is an instance of ternary predicate

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


(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") domainEnglishFormat.kif 1203-1203
(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 10011-10011 "term format" is the printable form of term format in english language

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


(=>
    (termFormat ?TERM ?LANGUAGE ?STRING)
    (names ?STRING ?TERM))
Media.kif 31-33

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


(termFormat ChineseLanguage 2GNetwork "2G 网路") ComputingBrands.kif 1132-1132 "2G 网路" is the printable form of 2G network in ChineseLanguage
(termFormat ChineseLanguage 2GNetwork "2G") ComputingBrands.kif 1127-1127 "2G" is the printable form of 2G network in ChineseLanguage
(termFormat ChineseLanguage 3GNetwork "3G 网路") ComputingBrands.kif 1178-1178 "3G 网路" is the printable form of &"3G 网路"GNetwork$"3G network" in ChineseLanguage
(termFormat ChineseLanguage 3GNetwork "3G") ComputingBrands.kif 1173-1173 "3G" is the printable form of &"3G"GNetwork$"3G network" in ChineseLanguage
(termFormat ChineseLanguage 4GNetwork "4G 网路") ComputingBrands.kif 1224-1224 "4G 网路" is the printable form of &GNetwork$"4G network" in ChineseLanguage
(termFormat ChineseLanguage 4GNetwork "4G") ComputingBrands.kif 1220-1220 "4G" is the printable form of &GNetwork$"4G network" in ChineseLanguage
(termFormat ChineseLanguage 5GNetwork "5G 网路") ComputingBrands.kif 1297-1297 "5G 网路" is the printable form of 5G network in ChineseLanguage
(termFormat ChineseLanguage 5GNetwork "5G") ComputingBrands.kif 1292-1292 "5G" is the printable form of 5G network in ChineseLanguage
(termFormat ChineseLanguage AVCTP "AVCTP") ComputingBrands.kif 1993-1993 "AVCTP" is the printable form of Audio/Video Control Transport Protocol in ChineseLanguage
(termFormat ChineseLanguage AVCTP "影/音控制传输协议") ComputingBrands.kif 1998-1998 "影/音控制传输协议" is the printable form of Audio/Video Control Transport Protocol in ChineseLanguage
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") chinese_format.kif 689-689 "绝对值函数" is the printable form of absolute value in ChineseLanguage
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853 "抽象体" is the printable form of abstract in ChineseLanguage
(termFormat ChineseLanguage AbstractionFn "摘要函数") chinese_format.kif 254-254 "摘要函数" is the printable form of AbstractionFn in ChineseLanguage
(termFormat ChineseLanguage AcidRainfall "酸雨") Geography.kif 2421-2421 "酸雨" is the printable form of acid rainfall in ChineseLanguage
(termFormat ChineseLanguage ActiveSync "活性同步") ComputingBrands.kif 1658-1658 "活性同步" is the printable form of ActiveSync in ChineseLanguage
(termFormat ChineseLanguage AdditionFn "加法函数") chinese_format.kif 683-683 "加法函数" is the printable form of addition in ChineseLanguage
(termFormat ChineseLanguage Adjective "形容词") chinese_format.kif 1031-1031 "形容词" is the printable form of adjective in ChineseLanguage
(termFormat ChineseLanguage AdobeComputerCorp "Adobe 电脑公司") ComputingBrands.kif 2744-2744 "Adobe 电脑公司" is the printable form of Adobe in ChineseLanguage
(termFormat ChineseLanguage AdobeComputerCorp "Adobe") ComputingBrands.kif 2749-2749 "Adobe" is the printable form of Adobe in ChineseLanguage
(termFormat ChineseLanguage AdobeFlashPlayer "Adobe Flash 播放器") ComputingBrands.kif 2788-2788 "Adobe Flash 播放器" is the printable form of Flash in ChineseLanguage
(termFormat ChineseLanguage AdobeFlashPlayer "Adobe Flash") ComputingBrands.kif 2783-2783 "Adobe Flash" is the printable form of Flash in ChineseLanguage
(termFormat ChineseLanguage AdobeFlashPlayer "Flash 播放器") ComputingBrands.kif 2793-2793 "Flash 播放器" is the printable form of Flash in ChineseLanguage
(termFormat ChineseLanguage AdobeFlashPlayer "Flash") ComputingBrands.kif 2798-2798 "Flash" is the printable form of Flash in ChineseLanguage
(termFormat ChineseLanguage AdvancedAudioDistributionProfile "A2DP") ComputingBrands.kif 1484-1484 "A2DP" is the printable form of Advanced Audio Distribution Profile in ChineseLanguage
(termFormat ChineseLanguage AdvancedAudioDistributionProfile "蓝牙立体声音讯传输规范") ComputingBrands.kif 1489-1489 "蓝牙立体声音讯传输规范" is the printable form of Advanced Audio Distribution Profile in ChineseLanguage

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners