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


(documentation termFormat ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍一个术语。") chinese_format.kif 1400-1400
(documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") Merge.kif 389-390
(domain termFormat 1 Language) Merge.kif 386-386
(domain termFormat 2 Entity) Merge.kif 387-387
(domain termFormat 3 SymbolicString) Merge.kif 388-388
(instance termFormat TernaryPredicate) Merge.kif 385-385

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


(format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4779-4779
(format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") domainEnglishFormat.kif 4778-4778
(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") domainEnglishFormat.kif 4777-4777
(termFormat ChineseLanguage termFormat "术语格式") domainEnglishFormat.kif 57502-57502
(termFormat ChineseTraditionalLanguage termFormat "術語格式") domainEnglishFormat.kif 57501-57501
(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 57500-57500

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


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

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


(termFormat BeaufortNumber0 ChineseLanguage "浦氏0风级") domainEnglishFormat.kif 10321-10321
(termFormat BeaufortNumber0 EnglishLanguage "Beaufort number 0") domainEnglishFormat.kif 10320-10320
(termFormat BeaufortNumber1 ChineseLanguage "浦氏1风级") domainEnglishFormat.kif 10324-10324
(termFormat BeaufortNumber1 EnglishLanguage "Beaufort number 1") domainEnglishFormat.kif 10323-10323
(termFormat BeaufortNumber10 ChineseLanguage "浦氏10风级") domainEnglishFormat.kif 10351-10351
(termFormat BeaufortNumber10 EnglishLanguage "Beaufort number 10") domainEnglishFormat.kif 10350-10350
(termFormat BeaufortNumber11 ChineseLanguage "浦氏11风级") domainEnglishFormat.kif 10354-10354
(termFormat BeaufortNumber11 EnglishLanguage "Beaufort number 11") domainEnglishFormat.kif 10353-10353
(termFormat BeaufortNumber12 ChineseLanguage "浦氏12风级") domainEnglishFormat.kif 10357-10357
(termFormat BeaufortNumber12 EnglishLanguage "Beaufort number 12") domainEnglishFormat.kif 10356-10356
(termFormat BeaufortNumber2 ChineseLanguage "浦氏2风级") domainEnglishFormat.kif 10327-10327
(termFormat BeaufortNumber2 EnglishLanguage "Beaufort number 2") domainEnglishFormat.kif 10326-10326
(termFormat BeaufortNumber3 ChineseLanguage "浦氏3风级") domainEnglishFormat.kif 10330-10330
(termFormat BeaufortNumber3 EnglishLanguage "Beaufort number 3") domainEnglishFormat.kif 10329-10329
(termFormat BeaufortNumber4 ChineseLanguage "浦氏4风级") domainEnglishFormat.kif 10333-10333
(termFormat BeaufortNumber4 EnglishLanguage "Beaufort number 4") domainEnglishFormat.kif 10332-10332
(termFormat BeaufortNumber5 ChineseLanguage "浦氏5风级") domainEnglishFormat.kif 10336-10336
(termFormat BeaufortNumber5 EnglishLanguage "Beaufort number 5") domainEnglishFormat.kif 10335-10335
(termFormat BeaufortNumber6 ChineseLanguage "浦氏6风级") domainEnglishFormat.kif 10339-10339
(termFormat BeaufortNumber6 EnglishLanguage "Beaufort number 6") domainEnglishFormat.kif 10338-10338
(termFormat BeaufortNumber7 ChineseLanguage "浦氏7风级") domainEnglishFormat.kif 10342-10342
(termFormat BeaufortNumber7 EnglishLanguage "Beaufort number 7") domainEnglishFormat.kif 10341-10341
(termFormat BeaufortNumber8 ChineseLanguage "浦氏8风级") domainEnglishFormat.kif 10345-10345
(termFormat BeaufortNumber8 EnglishLanguage "Beaufort number 8") domainEnglishFormat.kif 10344-10344
(termFormat BeaufortNumber9 ChineseLanguage "浦氏9风级") domainEnglishFormat.kif 10348-10348

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 3.0 is open source software produced by Articulate Software and its partners