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 "这是一种关系,用于指定如何以自然语言格式来介绍一个术语。") 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
-------------------------


(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") domainEnglishFormat.kif 1203-1203
(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 10015-10015 "term format" is the printable form of term format in english language

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 "绝对值函数" is the printable form of absolute value in ChineseLanguage
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853 "抽象体" is the printable form of abstract in ChineseLanguage
(termFormat ChineseLanguage AbstractionFn "摘要函数") chinese_format.kif 254-254 "摘要函数" is the printable form of AbstractionFn in ChineseLanguage
(termFormat ChineseLanguage AcidRainfall "酸雨") Geography.kif 2421-2421 "酸雨" is the printable form of acid rainfall in ChineseLanguage
(termFormat ChineseLanguage AdditionFn "加法函数") chinese_format.kif 683-683 "加法函数" is the printable form of addition in ChineseLanguage
(termFormat ChineseLanguage Adjective "形容词") chinese_format.kif 1031-1031 "形容词" is the printable form of adjective in ChineseLanguage
(termFormat ChineseLanguage Adverb "副词") chinese_format.kif 1032-1032 "副词" is the printable form of adverb in ChineseLanguage
(termFormat ChineseLanguage Advertising "广告") chinese_format.kif 1197-1197 "广告" is the printable form of advertising in ChineseLanguage
(termFormat ChineseLanguage Aerosal "气溶胶") Geography.kif 6918-6918 "气溶胶" is the printable form of aerosal in ChineseLanguage
(termFormat ChineseLanguage AgeGroup "同龄群组") chinese_format.kif 1064-1064 "同龄群组" is the printable form of age group in ChineseLanguage
(termFormat ChineseLanguage Agent "施事体") chinese_format.kif 848-848 "施事体" is the printable form of agent in ChineseLanguage
(termFormat ChineseLanguage AlethicAttribute "真势属性") chinese_format.kif 1245-1245 "真势属性" is the printable form of alethic attribute in ChineseLanguage
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 968-968 "藻类" is the printable form of alga in ChineseLanguage
(termFormat ChineseLanguage Amphibian "两栖动物") 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