Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ro
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
"
de
scription%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
instance
s%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
"
de
nominator%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 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