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
(domain termFormat 2 Entity) Merge.kif 430-430
(domain termFormat 3 SymbolicString) Merge.kif 431-431
(instance termFormat TernaryPredicate) Merge.kif 428-428

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


(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 9424-9424

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

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