Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
range
Sigma KEE - range
range
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1490-1491
No TPTP formula. May not be expressible in strict first order.
Merge.kif 302-304
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 50-52
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 55-57
No TPTP formula. May not be expressible in strict first order.
Merge.kif 300-300
The number 1 argument of
range
is an
instance
of
function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 301-301
The number 2 argument of
range
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 299-299
range
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 298-298
range
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 313-313
No TPTP formula. May not be expressible in strict first order.
english_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.
french_format.kif 179-179
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 238-238
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1999-1999
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 180-180
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 410-410
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 276-276
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 199-199
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 189-189
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 430-430
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 314-314
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48761-48761
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48760-48760
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3392-3396
If
a function
is an
instance
of
sequence function
and the
range
of
the function
is an instance of
a class
,
then
the class
is a
subclass
of
integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 306-310
If the
range
of
a function
is an instance of
a class
and
the function
(@ROW) is
equal
to
another entity
,
then
the other entity
is an
instance
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 318-324
If the
range
of
a function
is an instance of
a class
and the
range
of
the function
is an instance of
another class
,
then
the class
is a
subclass
of
the other class
or
the other class
is a
subclass
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 426-431
If the
range
of
a function
is an instance of
a class
and the
range
of
another function
is an instance of
another class
and
the class
is
disjoint
from
the other class
,
then
the function
and
the other function
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 312-316
If
a function
is a
subrelation
of
another function
and the
range
of
the other function
is an instance of
a class
,
then the
range
of
the function
is an instance of
the class
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 312-316
If
a function
is a
subrelation
of
another function
and the
range
of
the other function
is an instance of
a class
,
then the
range
of
the function
is an instance of
the class
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3227-3227
The
range
of
average buying price
is an instance of
currency measure
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3272-3272
The
range
of
average buying price
is an instance of
currency measure
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2413-2413
The
range
of
aborted
is an instance of
process
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2512-2512
The
range
of
aborted launch
is an instance of
taking off
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2433-2433
The
range
of
aborted mission
is an instance of
military operation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4776-4776
The
range
of
absolute value
is an instance of
nonnegative real number
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1280-1280
The
range
of
Acceleration fn
is an instance of
function quantity
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2334-2334
The
range
of
account
is an instance of
financial account
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4727-4727
The
range
of
addition
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 225-225
The
range
of
address
is an instance of
physical address
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8933-8933
The
range
of
afternoon of
is an instance of
afternoon
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3045-3045
The
range
of
agreement organization
is an instance of
organization
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7615-7615
The
range
of
Amounts fn
is an instance of
list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5273-5273
The
range
of
arccosine
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5283-5283
The
range
of
arcsine
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5263-5263
The
range
of
arctangent
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 781-781
The
range
of
assignment
is an instance of
entity
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3195-3195
The
range
of
gross merchandise bought in auctions
is an instance of
currency measure
No TPTP formula. May not be expressible in strict first order.
Military.kif 934-934
The
range
of
available for military service male
is an instance of
integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3270-3270
The
range
of
average function
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 892-892
The
range
of
back
is an instance of
self connected object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8053-8053
The
range
of
begin
is an instance of
time point
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5953-5953
The
range
of
begin node
is an instance of
graph node
No TPTP formula. May not be expressible in strict first order.
People.kif 674-674
The
range
of
Belief group member fn
is an instance of
internal attribute
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2914-2914
The
range
of
bid count
is an instance of
nonnegative integer
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