Browsing Interface
Home |  Graph |   ]

KB:  Language: 

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - termFormat
termFormat

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


(documentation termFormat ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍一个术语。") Merge.kif 434-434
(documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") Merge.kif 432-433
(domain termFormat 1 Language) Merge.kif 429-429 The number 1 argument of term format is an instance of language
(domain termFormat 2 Entity) Merge.kif 430-430 The number 2 argument of term format is an instance of entity
(domain termFormat 3 SymbolicString) Merge.kif 431-431 The number 3 argument of term format is an instance of symbolic string
(instance termFormat TernaryPredicate) Merge.kif 428-428

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


(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 9368-9368 term format english language, term format and "term format"

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


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

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


(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") chinese_format.kif 689-689 term format ChineseLanguage, absolute value and "绝对值函数"
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") chinese_format.kif 689-689 term format ChineseLanguage, absolute value and "绝对值函数"
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 854-854 term format ChineseLanguage, abstract and "抽象体"
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 854-854 term format ChineseLanguage, abstract and "抽象体"
(termFormat ChineseLanguage AbstractionFn "摘要函数") chinese_format.kif 254-254 term format ChineseLanguage, abstraction and "摘要函数"
(termFormat ChineseLanguage AbstractionFn "摘要函数") chinese_format.kif 254-254 term format ChineseLanguage, abstraction and "摘要函数"
(termFormat ChineseLanguage AdditionFn "加法函数") chinese_format.kif 683-683 term format ChineseLanguage, addition and "加法函数"
(termFormat ChineseLanguage AdditionFn "加法函数") chinese_format.kif 683-683 term format ChineseLanguage, addition and "加法函数"
(termFormat ChineseLanguage Adjective "形容词") chinese_format.kif 1032-1032 term format ChineseLanguage, adjective and "形容词"
(termFormat ChineseLanguage Adjective "形容词") chinese_format.kif 1032-1032 term format ChineseLanguage, adjective and "形容词"
(termFormat ChineseLanguage Adverb "副词") chinese_format.kif 1033-1033 term format ChineseLanguage, adverb and "副词"
(termFormat ChineseLanguage Adverb "副词") chinese_format.kif 1033-1033 term format ChineseLanguage, adverb and "副词"
(termFormat ChineseLanguage Advertising "广告") chinese_format.kif 1198-1198 term format ChineseLanguage, advertising and "广告"
(termFormat ChineseLanguage Advertising "广告") chinese_format.kif 1198-1198 term format ChineseLanguage, advertising and "广告"
(termFormat ChineseLanguage AgeGroup "同龄群组") chinese_format.kif 1065-1065 term format ChineseLanguage, age group and "同龄群组"
(termFormat ChineseLanguage AgeGroup "同龄群组") chinese_format.kif 1065-1065 term format ChineseLanguage, age group and "同龄群组"
(termFormat ChineseLanguage Agent "施事体") chinese_format.kif 849-849 term format ChineseLanguage, agent and "施事体"
(termFormat ChineseLanguage Agent "施事体") chinese_format.kif 849-849 term format ChineseLanguage, agent and "施事体"
(termFormat ChineseLanguage AlethicAttribute "真势属性") chinese_format.kif 1246-1246 term format ChineseLanguage, alethic attribute and "真势属性"
(termFormat ChineseLanguage AlethicAttribute "真势属性") chinese_format.kif 1246-1246 term format ChineseLanguage, alethic attribute and "真势属性"
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 969-969 term format ChineseLanguage, alga and "藻类"
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 969-969 term format ChineseLanguage, alga and "藻类"
(termFormat ChineseLanguage Amphibian "两栖动物") chinese_format.kif 988-988 term format ChineseLanguage, amphibian and "两栖动物"
(termFormat ChineseLanguage Amphibian "两栖动物") chinese_format.kif 988-988 term format ChineseLanguage, amphibian and "两栖动物"
(termFormat ChineseLanguage AnatomicalStructure "解剖结构") chinese_format.kif 1017-1017 term format ChineseLanguage, anatomical structure and "解剖结构"

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.99b (>= 2014/01/25) is open source software produced by Articulate Software and its partners