Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  termFormat

Sigma KEE - termFormat
termFormat

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


(documentation termFormat ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍一个术语。") Merge.kif 436-436
(documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") Merge.kif 434-435
(domain termFormat 1 Language) Merge.kif 431-431 termFormat 的 1 数量 是 语言instance
(domain termFormat 2 Entity) Merge.kif 432-432 termFormat 的 2 数量 是 实体instance
(domain termFormat 3 SymbolicString) Merge.kif 433-433 termFormat 的 3 数量 是 符号串instance
(instance termFormat TernaryPredicate) Merge.kif 430-430 termFormat三元谓语instance

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 10011-10011 termFormat EnglishLanguage, termFormat 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 termFormat ChineseLanguage, 绝对值函数 and "绝对值函数"
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853 termFormat ChineseLanguage, 抽象体 and "抽象体"
(termFormat ChineseLanguage AbstractionFn "摘要函数") chinese_format.kif 254-254 termFormat ChineseLanguage, 摘要函数 and "摘要函数"
(termFormat ChineseLanguage AcidRainfall "酸雨") Geography.kif 2421-2421 termFormat ChineseLanguage, 酸雨 and "酸雨"
(termFormat ChineseLanguage AdditionFn "加法函数") chinese_format.kif 683-683 termFormat ChineseLanguage, 加法函数 and "加法函数"
(termFormat ChineseLanguage Adjective "形容词") chinese_format.kif 1031-1031 termFormat ChineseLanguage, 形容词 and "形容词"
(termFormat ChineseLanguage Adverb "副词") chinese_format.kif 1032-1032 termFormat ChineseLanguage, 副词 and "副词"
(termFormat ChineseLanguage Advertising "广告") chinese_format.kif 1197-1197 termFormat ChineseLanguage, 广告 and "广告"
(termFormat ChineseLanguage Aerosal "气溶胶") Geography.kif 6922-6922 termFormat ChineseLanguage, 气溶胶 and "气溶胶"
(termFormat ChineseLanguage AgeGroup "同龄群组") chinese_format.kif 1064-1064 termFormat ChineseLanguage, 同龄群组 and "同龄群组"
(termFormat ChineseLanguage Agent "施事体") chinese_format.kif 848-848 termFormat ChineseLanguage, 施事体 and "施事体"
(termFormat ChineseLanguage AlethicAttribute "真势属性") chinese_format.kif 1245-1245 termFormat ChineseLanguage, 真势属性 and "真势属性"
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 968-968 termFormat ChineseLanguage, 藻类 and "藻类"
(termFormat ChineseLanguage Amphibian "两栖动物") chinese_format.kif 987-987 termFormat ChineseLanguage, 两栖动物 and "两栖动物"
(termFormat ChineseLanguage AnatomicalStructure "解剖结构") chinese_format.kif 1016-1016 termFormat ChineseLanguage, 解剖结构 and "解剖结构"
(termFormat ChineseLanguage AngleMeasure "角度测量") chinese_format.kif 1309-1309 termFormat ChineseLanguage, 角度测量 and "角度测量"
(termFormat ChineseLanguage AnimacyAttribute "生命度属性") chinese_format.kif 1258-1258 termFormat ChineseLanguage, 生命度属性 and "生命度属性"
(termFormat ChineseLanguage Animal "动物") chinese_format.kif 972-972 termFormat ChineseLanguage, 动物 and "动物"
(termFormat ChineseLanguage AnimalLanguage "兽语") chinese_format.kif 840-840 termFormat ChineseLanguage, 兽语 and "兽语"
(termFormat ChineseLanguage AntisymmetricRelation "反对称关系") chinese_format.kif 897-897 termFormat ChineseLanguage, 反对称关系 and "反对称关系"
(termFormat ChineseLanguage Ape "猿") chinese_format.kif 999-999 termFormat ChineseLanguage, and "猿"
(termFormat ChineseLanguage April "A四月") chinese_format.kif 1280-1280 termFormat ChineseLanguage, A四月 and "A四月"
(termFormat ChineseLanguage AquaticMammal "水生哺乳动物") chinese_format.kif 991-991 termFormat ChineseLanguage, 水生哺乳动物 and "水生哺乳动物"
(termFormat ChineseLanguage Arachnid "蛛形䋞动物") chinese_format.kif 981-981 termFormat ChineseLanguage, 蛛形䋞动物 and "蛛形䋞动物"
(termFormat ChineseLanguage AreaMeasure "面积测量") chinese_format.kif 1305-1305 termFormat ChineseLanguage, 面积测量 and "面积测量"

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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