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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - format

appearance as argument number 1

(documentation format ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍表达式。") Merge.kif 426-426
(documentation format EnglishLanguage "A relation that specifies how to present an expression in a natural language format.") Merge.kif 424-425
(domain format 1 Language) Merge.kif 421-421 The number 1 argument of format is an instance of language
(domain format 2 Entity) Merge.kif 422-422 The number 2 argument of format is an instance of entity
(domain format 3 SymbolicString) Merge.kif 423-423 The number 3 argument of format is an instance of symbolic string
(instance format TernaryPredicate) Merge.kif 420-420 format is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage format "%3 is the format for %2 in %1") domainEnglishFormat.kif 878-878
(termFormat EnglishLanguage format "format") domainEnglishFormat.kif 4544-4544 "format" is the printable form of format in english language

appearance as argument number 0

(format ChineseLanguage AbsoluteValueFn "%1 的绝对值") chinese_format.kif 688-688
(format ChineseLanguage AbstractionFn "描述 %1") chinese_format.kif 253-253
(format ChineseLanguage AdditionFn "(%*[+])") chinese_format.kif 682-682
(format ChineseLanguage AssignmentFn "%1(%*{2-}[,])") chinese_format.kif 346-346
(format ChineseLanguage BackFn "%1 的后面") chinese_format.kif 255-255
(format ChineseLanguage BeginFn "%1 的开始") chinese_format.kif 449-449
(format ChineseLanguage BeginNodeFn "%1 的开端") chinese_format.kif 765-765
(format ChineseLanguage CardinalityFn "%1 instance 的数量") chinese_format.kif 506-506
(format ChineseLanguage CeilingFn "取%1 的顶整数 ") chinese_format.kif 690-690
(format ChineseLanguage ComplementFn "%1 的补集") chinese_format.kif 500-500
(format ChineseLanguage CosineFn "%1 的馀弦") chinese_format.kif 692-692
(format ChineseLanguage CutSetFn "把 %1 分成另外两个图的路径 Set") chinese_format.kif 777-777
(format ChineseLanguage DayFn "%1 day ") chinese_format.kif 469-469

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