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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ro
ro

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


(format ro AbsoluteValueFn "value%t{valoarea} absolute{absolutã} a lui %1") relations-ro.kif 439-439
(format ro AbstractionFn "description%t{descrierea} lui %1") relations-ro.kif 164-164
(format ro AdditionFn "(%*[+])") relations-ro.kif 436-436
(format ro AssignmentFn "%1(%*{2-}[,])") relations-ro.kif 217-217
(format ro BackFn "back%t{spatele} lui %1") relations-ro.kif 165-165
(format ro BeginFn "beginning%t{începutul} lui %1") relations-ro.kif 282-282
(format ro BeginNodeFn "beginning%t{începutul} lui %1") relations-ro.kif 484-484
(format ro CardinalityFn "numãrul instances%t{instanþelor} din %1") relations-ro.kif 317-317
(format ro CeilingFn "ceiling%t{cel mai mic numãr întreg mai mare sau egal} cu %1") relations-ro.kif 440-440
(format ro ComplementFn "complement%t{complementara} lui %1") relations-ro.kif 314-314
(format ro CosineFn "cosine%t{cosinusul} lui %1") relations-ro.kif 441-441
(format ro CutSetFn "set%t{mulþimea} drumurilor care partiþioneazã %1 în douã grafuri separate") relations-ro.kif 490-490
(format ro DayFn "day%t{ziua} %1") relations-ro.kif 292-292
(format ro DenominatorFn "denominator%t{numitorul} fracþiei %1") relations-ro.kif 442-442
(format ro DensityFn "%1 per%t{pe} %2") relations-ro.kif 417-417
(format ro DivisionFn "%*[/]") relations-ro.kif 438-438
(format ro EditionFn "edition%t{ediþia} %2 a lui %1") relations-ro.kif 350-350
(format ro EndFn "the end%t{sfânceputul} lui %1") relations-ro.kif 283-283
(format ro EndNodeFn "end{sfârºtul} lui %1") relations-ro.kif 485-485
(format ro ExponentiationFn "%1 ridicat la power%t{puterea} %2") relations-ro.kif 443-443
(format ro ExtensionFn "class%t{clasa} corespunzãtoare lui %1") relations-ro.kif 166-166
(format ro FloorFn "largest%t{cel mai mare} numãr întreg mai mic sau egal cu %1") relations-ro.kif 444-444
(format ro FrontFn "front%t{faþa} lui %1") relations-ro.kif 167-167
(format ro FutureFn "after%t{dupã} %1") relations-ro.kif 288-288
(format ro GeneralizedIntersectionFn "intersection%t{intersecþia} tuturor elementelor lui %1") relations-ro.kif 316-316

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 3.0 is open source software produced by Articulate Software and its partners