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 term format is an instance of ternary predicate

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


(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 9421-9421 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 853-853 term format ChineseLanguage, abstract and "抽象体"
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853 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 AcidRainfall "酸雨") Geography.kif 2450-2450 term format ChineseLanguage, acid rainfall 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 1031-1031 term format ChineseLanguage, adjective and "形容词"
(termFormat ChineseLanguage Adjective "形容词") chinese_format.kif 1031-1031 term format ChineseLanguage, adjective and "形容词"
(termFormat ChineseLanguage Adverb "副词") chinese_format.kif 1032-1032 term format ChineseLanguage, adverb and "副词"
(termFormat ChineseLanguage Adverb "副词") chinese_format.kif 1032-1032 term format ChineseLanguage, adverb and "副词"
(termFormat ChineseLanguage Advertising "广告") chinese_format.kif 1197-1197 term format ChineseLanguage, advertising and "广告"
(termFormat ChineseLanguage Advertising "广告") chinese_format.kif 1197-1197 term format ChineseLanguage, advertising and "广告"
(termFormat ChineseLanguage AgeGroup "同龄群组") chinese_format.kif 1064-1064 term format ChineseLanguage, age group and "同龄群组"
(termFormat ChineseLanguage AgeGroup "同龄群组") chinese_format.kif 1064-1064 term format ChineseLanguage, age group and "同龄群组"
(termFormat ChineseLanguage Agent "施事体") chinese_format.kif 848-848 term format ChineseLanguage, agent and "施事体"
(termFormat ChineseLanguage Agent "施事体") chinese_format.kif 848-848 term format ChineseLanguage, agent and "施事体"
(termFormat ChineseLanguage AlethicAttribute "真势属性") chinese_format.kif 1245-1245 term format ChineseLanguage, alethic attribute and "真势属性"
(termFormat ChineseLanguage AlethicAttribute "真势属性") chinese_format.kif 1245-1245 term format ChineseLanguage, alethic attribute and "真势属性"
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 968-968 term format ChineseLanguage, alga and "藻类"
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 968-968 term format ChineseLanguage, alga and "藻类"
(termFormat ChineseLanguage Amphibian "两栖动物") chinese_format.kif 987-987 term format ChineseLanguage, amphibian and "两栖动物"
(termFormat ChineseLanguage Amphibian "两栖动物") chinese_format.kif 987-987 term format ChineseLanguage, amphibian 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