Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 306-308
No TPTP formula. May not be expressible in strict first order.
Merge.kif 304-304
The number 1 argument of
range
is an
instance
of
function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 305-305
The number 2 argument of
range
is an
instance
of
set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 303-303
range
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 302-302
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 321-321
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 48676-48676
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48675-48675
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3269-3273
If
a function
is an
instance
of
sequence function
and the
range
of
the function
is an instance of
a set or class
,
then
the set or class
is a
subclass
of
integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 310-314
If the
range
of
a function
is an instance of
a set or class
and
the function
(@ROW) is
equal
to
another entity
,
then
the other entity
is an
instance
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 322-328
If the
range
of
a function
is an instance of
a set or class
and the
range
of
the function
is an instance of
another set or class
,
then
the set or class
is a
subclass
of
the other set or class
or
the other set or class
is a
subclass
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 432-437
If the
range
of
a function
is an instance of
a set or class
and the
range
of
another function
is an instance of
another set or class
and
the set or class
is
disjoint
from
the other set or class
,
then
the function
and
the other function
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 316-320
If
a function
is a
subrelation
of
another function
and the
range
of
the other function
is an instance of
a set or class
,
then the
range
of
the function
is an instance of
the set or class
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 316-320
If
a function
is a
subrelation
of
another function
and the
range
of
the other function
is an instance of
a set or class
,
then the
range
of
the function
is an instance of
the set or class
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3432-3432
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 3475-3475
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 2393-2393
The
range
of
aborted
is an instance of
process
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2458-2458
The
range
of
aborted launch
is an instance of
taking off
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2412-2412
The
range
of
aborted mission
is an instance of
military operation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4573-4573
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 1281-1281
The
range
of
AccelerationFn
is an instance of
function quantity
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2247-2247
The
range
of
account
is an instance of
financial account
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4524-4524
The
range
of
addition
is an instance of
quantity
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 222-222
The
range
of
address
is an instance of
physical address
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8289-8289
The
range
of
AfternoonFn
is an instance of
afternoon
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2916-2916
The
range
of
agreement organization
is an instance of
organization
No TPTP formula. May not be expressible in strict first order.
Merge.kif 753-753
The
range
of
assignment
is an instance of
entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1680-1680
The
range
of
attr
is an instance of
class
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3397-3397
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 861-861
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 3156-3156
The
range
of
average function
is an instance of
number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 856-856
The
range
of
back
is an instance of
self connected object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7569-7569
The
range
of
begin
is an instance of
time point
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5623-5623
The
range
of
begin node
is an instance of
graph node
No TPTP formula. May not be expressible in strict first order.
People.kif 676-676
The
range
of
BeliefGroupMemberFn
is an instance of
internal attribute
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3117-3117
The
range
of
bid count
is an instance of
nonnegative integer
No TPTP formula. May not be expressible in strict first order.
People.kif 93-93
The
range
of
births per thousand
is an instance of
real number
No TPTP formula. May not be expressible in strict first order.
Geography.kif 689-689
The
range
of
border
is an instance of
geographic area
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3084-3084
The
range
of
bought items
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