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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sv

Sigma KEE - sv
sv

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


(format sv AbsoluteValueFn "absolutbeloppet av %1") relations-sv.txt 461-461
(format sv AbstractionFn "beskrivningen av %1") relations-sv.txt 151-151
(format sv AdditionFn "(%*[+])") relations-sv.txt 458-458
(format sv ArcCosineFn "arccosinus av %1") relations-sv.txt 462-462
(format sv ArcSineFn "arcsinus av %1") relations-sv.txt 464-464
(format sv ArcTangentFn "arctangens av %1") relations-sv.txt 466-466
(format sv AssignmentFn "%1(%*{2-}[,])") relations-sv.txt 213-213
(format sv BackFn "baksidan av %1") relations-sv.txt 152-152
(format sv BeginFn "början på %1") relations-sv.txt 287-287
(format sv BeginNodeFn "början för %1") relations-sv.txt 528-528
(format sv CardinalityFn "antalet instanser av %1") relations-sv.txt 324-324
(format sv CeilFn "det minsta heltalet större än eller lika med %1") relations-sv.txt 468-468
(format sv ComplementFn "komplementet till %1") relations-sv.txt 321-321
(format sv CosineFn "cosinus av %1") relations-sv.txt 469-469
(format sv CutSetFn "mängden av vägar som partitionerar %1 i två separata grafer") relations-sv.txt 538-538
(format sv DayFn "dagen %1") relations-sv.txt 298-298
(format sv DenominatorFn "nämnaren av %1") relations-sv.txt 471-471
(format sv DensityFn "%1 per %2") relations-sv.txt 438-438
(format sv DivisionFn "%*[/]") relations-sv.txt 460-460
(format sv DomainFn "domänen för %1") relations-sv.txt 209-209
(format sv EditionFn "upplaga %2 av %1") relations-sv.txt 364-364
(format sv EndFn "slutet på %1") relations-sv.txt 288-288
(format sv EndNodeFn "slutet för %1") relations-sv.txt 530-530
(format sv ExponentiationFn "%1 upphöjt till exponenten %2") relations-sv.txt 472-472
(format sv ExtensionFn "klassen som motsvarar %1") relations-sv.txt 153-153

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