| 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 390-391 | |
| (domain termFormat 1 Language) | Merge.kif 387-387 | The number 1 argument of term format is an instance of language |
| (domain termFormat 2 Entity) | Merge.kif 388-388 | The number 2 argument of term format is an instance of entity |
| (domain termFormat 3 SymbolicString) | Merge.kif 389-389 | The number 3 argument of term format is an instance of symbolic string |
| (instance termFormat TernaryPredicate) | Merge.kif 386-386 | term format is an instance of ternary predicate |
| 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