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

Formal Language: 



KB Term:  Term intersection
English Word: 

  format

Sigma KEE - format
format

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


(documentation format ChineseLanguage "这是一种关系,用于指定如何以自然语言格式来介绍表达式。") Merge.kif 428-428
(documentation format EnglishLanguage "A relation that specifies how to present an expression in a natural language format.") Merge.kif 426-427
(domain format 1 Language) Merge.kif 423-423 format 的 1 数量 是 语言instance
(domain format 2 Entity) Merge.kif 424-424 format 的 2 数量 是 实体instance
(domain format 3 SymbolicString) Merge.kif 425-425 format 的 3 数量 是 符号串instance
(instance format TernaryPredicate) Merge.kif 422-422 format三元谓语instance

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 termFormat EnglishLanguage, format and "format"

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
(format ChineseLanguage DenominatorFn "%1 的分母") chinese_format.kif 694-694
(format ChineseLanguage DensityFn "%1 除以 %2") chinese_format.kif 657-657
(format ChineseLanguage DivisionFn "%*[/]") chinese_format.kif 686-686
(format ChineseLanguage EditionFn "%1的第%2版 ") chinese_format.kif 559-559
(format ChineseLanguage EndFn "%1 的结束") chinese_format.kif 451-451
(format ChineseLanguage EndNodeFn "%1 的末端") chinese_format.kif 767-767
(format ChineseLanguage ExponentiationFn "%1 %2 的次幂") chinese_format.kif 696-696
(format ChineseLanguage ExtensionFn "和 %1 对应的 Class") chinese_format.kif 257-257
(format ChineseLanguage FloorFn "取 %1 的底整数") chinese_format.kif 698-698
(format ChineseLanguage FrontFn " %1 的前面") chinese_format.kif 259-259
(format ChineseLanguage FutureFn "%1 之后") chinese_format.kif 461-461
(format ChineseLanguage GeneralizedIntersectionFn "把 %1 所有的 element 并成交集") chinese_format.kif 504-504

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