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 termFormat 的 1 数量 是 语言instance
(domain termFormat 2 Entity) Merge.kif 432-432 termFormat 的 2 数量 是 实体instance
(domain termFormat 3 SymbolicString) Merge.kif 433-433 termFormat 的 3 数量 是 符号串instance
(instance termFormat TernaryPredicate) Merge.kif 430-430 termFormat三元谓语instance

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 termFormat EnglishLanguage, termFormat and "term format"

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 termFormat ChineseLanguage, 2G 网路 and "2G 网路"
(termFormat ChineseLanguage 2GNetwork "2G") ComputingBrands.kif 1127-1127 termFormat ChineseLanguage, 2G 网路 and "2G"
(termFormat ChineseLanguage 3GNetwork "3G 网路") ComputingBrands.kif 1178-1178 termFormat ChineseLanguage, 3G 网路 and "3G 网路"
(termFormat ChineseLanguage 3GNetwork "3G") ComputingBrands.kif 1173-1173 termFormat ChineseLanguage, 3G 网路 and "3G"
(termFormat ChineseLanguage 4GNetwork "4G 网路") ComputingBrands.kif 1224-1224 termFormat ChineseLanguage, 4G 网路 and "4G 网路"
(termFormat ChineseLanguage 4GNetwork "4G") ComputingBrands.kif 1220-1220 termFormat ChineseLanguage, 4G 网路 and "4G"
(termFormat ChineseLanguage 5GNetwork "5G 网路") ComputingBrands.kif 1297-1297 termFormat ChineseLanguage, 5G and "5G 网路"
(termFormat ChineseLanguage 5GNetwork "5G") ComputingBrands.kif 1292-1292 termFormat ChineseLanguage, 5G and "5G"
(termFormat ChineseLanguage AVCTP "AVCTP") ComputingBrands.kif 1993-1993 termFormat ChineseLanguage, 影/音控制传输协议 and "AVCTP"
(termFormat ChineseLanguage AVCTP "影/音控制传输协议") ComputingBrands.kif 1998-1998 termFormat ChineseLanguage, 影/音控制传输协议 and "影/音控制传输协议"
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") chinese_format.kif 689-689 termFormat ChineseLanguage, 绝对值函数 and "绝对值函数"
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853 termFormat ChineseLanguage, 抽象体 and "抽象体"
(termFormat ChineseLanguage AbstractionFn "摘要函数") chinese_format.kif 254-254 termFormat ChineseLanguage, 摘要函数 and "摘要函数"
(termFormat ChineseLanguage AcidRainfall "酸雨") Geography.kif 2421-2421 termFormat ChineseLanguage, 酸雨 and "酸雨"
(termFormat ChineseLanguage ActiveSync "活性同步") ComputingBrands.kif 1658-1658 termFormat ChineseLanguage, 活性同步 and "活性同步"
(termFormat ChineseLanguage AdditionFn "加法函数") chinese_format.kif 683-683 termFormat ChineseLanguage, 加法函数 and "加法函数"
(termFormat ChineseLanguage Adjective "形容词") chinese_format.kif 1031-1031 termFormat ChineseLanguage, 形容词 and "形容词"
(termFormat ChineseLanguage AdobeComputerCorp "Adobe 电脑公司") ComputingBrands.kif 2744-2744 termFormat ChineseLanguage, Adobe and "Adobe 电脑公司"
(termFormat ChineseLanguage AdobeComputerCorp "Adobe") ComputingBrands.kif 2749-2749 termFormat ChineseLanguage, Adobe and "Adobe"
(termFormat ChineseLanguage AdobeFlashPlayer "Adobe Flash 播放器") ComputingBrands.kif 2788-2788 termFormat ChineseLanguage, Flash and "Adobe Flash 播放器"
(termFormat ChineseLanguage AdobeFlashPlayer "Adobe Flash") ComputingBrands.kif 2783-2783 termFormat ChineseLanguage, Flash and "Adobe Flash"
(termFormat ChineseLanguage AdobeFlashPlayer "Flash 播放器") ComputingBrands.kif 2793-2793 termFormat ChineseLanguage, Flash and "Flash 播放器"
(termFormat ChineseLanguage AdobeFlashPlayer "Flash") ComputingBrands.kif 2798-2798 termFormat ChineseLanguage, Flash and "Flash"
(termFormat ChineseLanguage AdvancedAudioDistributionProfile "A2DP") ComputingBrands.kif 1484-1484 termFormat ChineseLanguage, 蓝牙立体声音讯传输规范 and "A2DP"
(termFormat ChineseLanguage AdvancedAudioDistributionProfile "蓝牙立体声音讯传输规范") ComputingBrands.kif 1489-1489 termFormat ChineseLanguage, 蓝牙立体声音讯传输规范 and "蓝牙立体声音讯传输规范"

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