Browsing Interface
Home |  Graph |   ]

KB:  Language: 

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - format
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
(domain format 2 Entity) Merge.kif 422-422
(domain format 3 SymbolicString) Merge.kif 423-423
(instance format TernaryPredicate) Merge.kif 420-420

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


(termFormat EnglishLanguage format "format") domainEnglishFormat.kif 3950-3950

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 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