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
(domain termFormat 2 Entity) Merge.kif 432-432
(domain termFormat 3 SymbolicString) Merge.kif 433-433
(instance termFormat TernaryPredicate) Merge.kif 430-430

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

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

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