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 Abstract) SUMO_Cache.kif 147218-147218 term format is an instance of abstract
(instance termFormat Entity) SUMO_Cache.kif 147215-147215 term format is an instance of entity
(instance termFormat InheritableRelation) SUMO_Cache.kif 147217-147217 term format is an instance of inheritable relation
(instance termFormat Predicate) SUMO_Cache.kif 147220-147220 term format is an instance of predicate
(instance termFormat Relation) SUMO_Cache.kif 147216-147216 term format is an instance of relation
(instance termFormat TernaryPredicate) Merge.kif 428-428 term format is an instance of ternary predicate
(instance termFormat TernaryRelation) SUMO_Cache.kif 147219-147219 term format is an instance of ternary relation

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


(termFormat EnglishLanguage termFormat "term format") domainEnglishFormat.kif 9370-9370 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 "包含信息") chinese_format.kif 82-82 term format ChineseLanguage and "包含信息"
(termFormat ChineseLanguage "所表达的语言") chinese_format.kif 212-212 term format ChineseLanguage and "所表达的语言"
(termFormat ChineseLanguage "闭上") chinese_format.kif 74-74 term format ChineseLanguage and "闭上"
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") chinese_format.kif 689-689 term format ChineseLanguage, absolute value and "绝对值函数"
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 854-854 term format ChineseLanguage, abstract and "抽象体"
(termFormat ChineseLanguage AbstractionFn "摘要函数") chinese_format.kif 254-254 term format ChineseLanguage, abstraction and "摘要函数"
(termFormat ChineseLanguage AdditionFn "加法函数") chinese_format.kif 683-683 term format ChineseLanguage, addition and "加法函数"
(termFormat ChineseLanguage Agent "施事体") chinese_format.kif 849-849 term format ChineseLanguage, agent and "施事体"
(termFormat ChineseLanguage AnimalLanguage "兽语") chinese_format.kif 841-841 term format ChineseLanguage, animal language and "兽语"
(termFormat ChineseLanguage AntisymmetricRelation "反对称关系") chinese_format.kif 898-898 term format ChineseLanguage, antisymmetric relation and "反对称关系"
(termFormat ChineseLanguage ArtificialLanguage "人造语言") chinese_format.kif 842-842 term format ChineseLanguage, artificial language and "人造语言"
(termFormat ChineseLanguage AssignmentFn "分派函数") chinese_format.kif 347-347 term format ChineseLanguage, assignment and "分派函数"
(termFormat ChineseLanguage AssociativeFunction "结合函数") chinese_format.kif 922-922 term format ChineseLanguage, associative function and "结合函数"
(termFormat ChineseLanguage AsymmetricRelation "非对称关系") chinese_format.kif 897-897 term format ChineseLanguage, asymmetric relation and "非对称关系"
(termFormat ChineseLanguage Atom "原子") chinese_format.kif 822-822 term format ChineseLanguage, atom and "原子"
(termFormat ChineseLanguage AtomicNucleus "原子核") chinese_format.kif 824-824 term format ChineseLanguage, atomic nucleus and "原子核"
(termFormat ChineseLanguage Attribute "属性") chinese_format.kif 856-856 term format ChineseLanguage, attribute and "属性"
(termFormat ChineseLanguage BackFn "挪后函数") chinese_format.kif 256-256 term format ChineseLanguage, back and "挪后函数"
(termFormat ChineseLanguage BeginFn "开始函数") chinese_format.kif 450-450 term format ChineseLanguage, begin and "开始函数"
(termFormat ChineseLanguage BeginNodeFn "节点开端函数") chinese_format.kif 766-766 term format ChineseLanguage, begin node and "节点开端函数"
(termFormat ChineseLanguage BinaryFunction "二元函数") chinese_format.kif 921-921 term format ChineseLanguage, binary function and "二元函数"
(termFormat ChineseLanguage BinaryNumber "二进制数") chinese_format.kif 874-874 term format ChineseLanguage, binary number and "二进制数"
(termFormat ChineseLanguage BinaryPredicate "二元谓语") chinese_format.kif 927-927 term format ChineseLanguage, binary predicate and "二元谓语"
(termFormat ChineseLanguage BinaryRelation "二元关系") chinese_format.kif 893-893 term format ChineseLanguage, binary relation and "二元关系"
(termFormat ChineseLanguage CardinalityFn "势函数") chinese_format.kif 507-507 term format ChineseLanguage, cardinality 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