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
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 308-310
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 306-306
The number 1 argument of
range
is an
instance
of
function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 307-307
The number 2 argument of
range
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 305-305
range
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 304-304
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 48759-48759
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48758-48758
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3393-3397
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 312-316
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 324-330
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 433-438
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 318-322
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 318-322
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 2478-2478
The
range
of
aborted launch
is an instance of
taking off
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2432-2432
The
range
of
aborted mission
is an instance of
military operation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4764-4764
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 2317-2317
The
range
of
account
is an instance of
financial account
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4715-4715
The
range
of
addition
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 224-224
The
range
of
address
is an instance of
physical address
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8871-8871
The
range
of
afternoon of
is an instance of
afternoon
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3057-3057
The
range
of
agreement organization
is an instance of
organization
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7581-7581
The
range
of
Amounts fn
is an instance of
list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5261-5261
The
range
of
arccosine
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5271-5271
The
range
of
arcsine
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5251-5251
The
range
of
arctangent
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 788-788
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 857-857
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 3273-3273
The
range
of
average function
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 899-899
The
range
of
back
is an instance of
self connected object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8019-8019
The
range
of
begin
is an instance of
time point
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5944-5944
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
range