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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - termFormat
termFormat

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 434-434
No TPTP formula. May not be expressible in strict first order. Merge.kif 432-433
No TPTP formula. May not be expressible in strict first order. Merge.kif 429-429 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 430-430 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 431-431 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 428-428 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 10015-10015 "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. 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. 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. chinese_format.kif 1032-1032 "副词" is the printable form of adverb in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1197-1197 "广告" is the printable form of advertising in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. Geography.kif 6918-6918 "气溶胶" is the printable form of aerosal in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1064-1064 "同龄群组" is the printable form of age group in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 848-848 "施事体" is the printable form of agent in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1245-1245 "真势属性" is the printable form of alethic attribute in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 968-968 "藻类" is the printable form of alga in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 987-987 "两栖动物" is the printable form of amphibian in ChineseLanguage

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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