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


No TPTP formula. May not be expressible in strict first order. Merge.kif 436-436
No TPTP formula. May not be expressible in strict first order. Merge.kif 434-435
No TPTP formula. May not be expressible in strict first order. Merge.kif 431-431 The number 1 argument of term format is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 432-432 The number 2 argument of term format is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 433-433 The number 3 argument of term format is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 430-430 term format is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1203-1203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10011-10011 "term format" is the printable form of term format in english language

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


No TPTP formula. May not be expressible in strict first order. Media.kif 31-33

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1132-1132 "2G 网路" is the printable form of 2G network in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1127-1127 "2G" is the printable form of 2G network in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1178-1178 "3G 网路" is the printable form of &"3G 网路"GNetwork$"3G network" in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1173-1173 "3G" is the printable form of &"3G"GNetwork$"3G network" in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1224-1224 "4G 网路" is the printable form of &GNetwork$"4G network" in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1220-1220 "4G" is the printable form of &GNetwork$"4G network" in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1297-1297 "5G 网路" is the printable form of 5G network in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1292-1292 "5G" is the printable form of 5G network in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1993-1993 "AVCTP" is the printable form of Audio/Video Control Transport Protocol in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1998-1998 "影/音控制传输协议" is the printable form of Audio/Video Control Transport Protocol in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 689-689 "绝对值函数" is the printable form of absolute value in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 853-853 "抽象体" is the printable form of abstract in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 254-254 "摘要函数" is the printable form of AbstractionFn in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. Geography.kif 2421-2421 "酸雨" is the printable form of acid rainfall in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1658-1658 "活性同步" is the printable form of ActiveSync in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 683-683 "加法函数" is the printable form of addition in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1031-1031 "形容词" is the printable form of adjective in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2744-2744 "Adobe 电脑公司" is the printable form of Adobe in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2749-2749 "Adobe" is the printable form of Adobe in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2788-2788 "Adobe Flash 播放器" is the printable form of Flash in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2783-2783 "Adobe Flash" is the printable form of Flash in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2793-2793 "Flash 播放器" is the printable form of Flash in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2798-2798 "Flash" is the printable form of Flash in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1484-1484 "A2DP" is the printable form of Advanced Audio Distribution Profile in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. 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