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


s__documentation(s__termFormat__m,s__ChineseLanguage,'这是一种关系,用于指定如何以自然语言格式来介绍一个术语。')

Merge.kif 434-434
s__documentation(s__termFormat__m,s__EnglishLanguage,'A relation that specifies how to present a term in a natural language format.')

Merge.kif 432-433
s__domain(s__termFormat__m,1,s__Language)

Merge.kif 429-429 The number 1 argument of term format is an instance of language
s__domain(s__termFormat__m,2,s__Entity)

Merge.kif 430-430 The number 2 argument of term format is an instance of entity
s__domain(s__termFormat__m,3,s__SymbolicString)

Merge.kif 431-431 The number 3 argument of term format is an instance of symbolic string
s__instance(s__termFormat__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__SetOrClass)

Merge.kif 428-428 term format is an instance of ternary predicate

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


s__format(s__EnglishLanguage,s__termFormat__m,'%3 is the printable form of %2 in %1')

domainEnglishFormat.kif 1203-1203
s__termFormat(s__EnglishLanguage,s__termFormat__m,'term format')

domainEnglishFormat.kif 10015-10015 "term format" is the printable form of term format in english language

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


( ! [V__TERM,V__LANGUAGE,V__STRING] :
   (s__termFormat(V__TERM,V__LANGUAGE,V__STRING)
   =>
   s__names(V__STRING,V__TERM))
)

Media.kif 31-33

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


s__termFormat(s__ChineseLanguage,s__AbsoluteValueFn__m,'绝对值函数')

chinese_format.kif 689-689 "绝对值函数" is the printable form of absolute value in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Abstract,'抽象体')

chinese_format.kif 853-853 "抽象体" is the printable form of abstract in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AbstractionFn__m,'摘要函数')

chinese_format.kif 254-254 "摘要函数" is the printable form of AbstractionFn in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AcidRainfall,'酸雨')

Geography.kif 2421-2421 "酸雨" is the printable form of acid rainfall in ChineseLanguage
s__termFormat(s__ChineseLanguage,plus__m,'加法函数')

chinese_format.kif 683-683 "加法函数" is the printable form of addition in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Adjective,'形容词')

chinese_format.kif 1031-1031 "形容词" is the printable form of adjective in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Adverb,'副词')

chinese_format.kif 1032-1032 "副词" is the printable form of adverb in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Advertising,'广告')

chinese_format.kif 1197-1197 "广告" is the printable form of advertising in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Aerosal,'气溶胶')

Geography.kif 6918-6918 "气溶胶" is the printable form of aerosal in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AgeGroup,'同龄群组')

chinese_format.kif 1064-1064 "同龄群组" is the printable form of age group in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Agent,'施事体')

chinese_format.kif 848-848 "施事体" is the printable form of agent in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AlethicAttribute,'真势属性')

chinese_format.kif 1245-1245 "真势属性" is the printable form of alethic attribute in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Alga,'藻类')

chinese_format.kif 968-968 "藻类" is the printable form of alga in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Amphibian,'两栖动物')

chinese_format.kif 987-987 "两栖动物" is the printable form of amphibian in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AnatomicalStructure,'解剖结构')

chinese_format.kif 1016-1016 "解剖结构" is the printable form of anatomical structure in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AngleMeasure,'角度测量')

chinese_format.kif 1309-1309 "角度测量" is the printable form of angle measure in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AnimacyAttribute,'生命度属性')

chinese_format.kif 1258-1258 "生命度属性" is the printable form of animacy attribute in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Animal,'动物')

chinese_format.kif 972-972 "动物" is the printable form of animal in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AnimalLanguage,'兽语')

chinese_format.kif 840-840 "兽语" is the printable form of animal language in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AntisymmetricRelation,'反对称关系')

chinese_format.kif 897-897 "反对称关系" is the printable form of antisymmetric relation in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Ape,'猿')

chinese_format.kif 999-999 "猿" is the printable form of ape in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__April,'A四月')

chinese_format.kif 1280-1280 "A四月" is the printable form of April in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AquaticMammal,'水生哺乳动物')

chinese_format.kif 991-991 "水生哺乳动物" is the printable form of aquatic mammal in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__Arachnid,'蛛形䋞动物')

chinese_format.kif 981-981 "蛛形䋞动物" is the printable form of arachnid in ChineseLanguage
s__termFormat(s__ChineseLanguage,s__AreaMeasure,'面积测量')

chinese_format.kif 1305-1305 "面积测量" is the printable form of area measure 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