Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
(
documentation
range
ChineseLanguage
"它为函数提供一个范围。就是说,(
range
?FUNCTION ?CLASS) 的意思是,所有由 ?FUNCTION 所指定的值,都是这个 ?CLASS 的
instance
。")
chinese_format.kif 1490-1491
(
documentation
range
EnglishLanguage
"Gives the range of a function. In other words, (
range
?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are
instance
s of ?CLASS.")
Merge.kif 306-308
(
domain
range
1
Function
)
Merge.kif 304-304
The number 1 argument of
range
is an
instance
of
function
(
domain
range
2
Class
)
Merge.kif 305-305
The number 2 argument of
range
is an
instance
of
class
(
instance
range
AsymmetricRelation
)
Merge.kif 303-303
range
is an
instance
of
asymmetric relation
(
instance
range
BinaryPredicate
)
Merge.kif 302-302
range
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
range
"%1 的
range
%n 是 %2 的实例")
chinese_format.kif 313-313
(
format
EnglishLanguage
range
"the
range
of %1 is %n an instance of %2")
english_format.kif 318-318
(
termFormat
ChineseLanguage
range
"范围")
chinese_format.kif 314-314
(
termFormat
ChineseTraditionalLanguage
range
"範圍")
domainEnglishFormat.kif 48740-48740
(
termFormat
EnglishLanguage
range
"range")
domainEnglishFormat.kif 48739-48739
antecedent
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3320-3324
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
(=>
(
and
(
range
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
instance
?VALUE ?CLASS))
Merge.kif 310-314
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
(=>
(
and
(
range
?REL ?CLASS1)
(
range
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 322-328
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
(=>
(
and
(
range
?REL1 ?CLASS1)
(
range
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 431-436
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
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
range
?REL2 ?CLASS1))
(
range
?REL1 ?CLASS1))
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 class
,
then the
range
of
the function
is an instance of
the class
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
range
?REL2 ?CLASS1))
(
range
?REL1 ?CLASS1))
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 class
,
then the
range
of
the function
is an instance of
the class
appearance as argument number 0
(
range
ABPFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3437-3437
The
range
of
average buying price
is an instance of
currency measure
(
range
ASPFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3480-3480
The
range
of
average buying price
is an instance of
currency measure
(
range
AbortedFn
Process
)
MilitaryProcesses.kif 2412-2412
The
range
of
aborted
is an instance of
process
(
range
AbortedLaunchFn
TakingOff
)
MilitaryProcesses.kif 2477-2477
The
range
of
aborted launch
is an instance of
taking off
(
range
AbortedMissionFn
MilitaryOperation
)
MilitaryProcesses.kif 2431-2431
The
range
of
aborted mission
is an instance of
military operation
(
range
AbsoluteValueFn
NonnegativeRealNumber
)
Merge.kif 4667-4667
The
range
of
absolute value
is an instance of
nonnegative real number
(
range
AccelerationFn
FunctionQuantity
)
Cars.kif 1280-1280
The
range
of
AccelerationFn
is an instance of
function quantity
(
range
AdditionFn
RealNumber
)
Merge.kif 4618-4618
The
range
of
addition
is an instance of
real number
(
range
AddressFn
PhysicalAddress
)
QoSontology.kif 222-222
The
range
of
address
is an instance of
physical address
(
range
AfternoonFn
Afternoon
)
Merge.kif 8737-8737
The
range
of
AfternoonFn
is an instance of
afternoon
(
range
AgreementOrganizationFn
Organization
)
Geography.kif 2979-2979
The
range
of
agreement organization
is an instance of
organization
(
range
AmountsFn
List
)
Merge.kif 7484-7484
The
range
of
AmountsFn
is an instance of
list
(
range
ArcCosineFn
RealNumber
)
Merge.kif 5160-5160
The
range
of
arccosine
is an instance of
real number
(
range
ArcSineFn
RealNumber
)
Merge.kif 5170-5170
The
range
of
arcsine
is an instance of
real number
(
range
ArcTangentFn
RealNumber
)
Merge.kif 5150-5150
The
range
of
arctangent
is an instance of
real number
(
range
AssignmentFn
Entity
)
Merge.kif 771-771
The
range
of
assignment
is an instance of
entity
(
range
AuctionGMBFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3402-3402
The
range
of
gross merchandise bought in auctions
is an instance of
currency measure
(
range
AvailableForMilitaryServiceMaleFn
Integer
)
Military.kif 866-866
The
range
of
available for military service male
is an instance of
integer
(
range
AverageFn
RealNumber
)
Merge.kif 3201-3201
The
range
of
average function
is an instance of
real number
(
range
BackFn
SelfConnectedObject
)
Merge.kif 874-874
The
range
of
back
is an instance of
self connected object
(
range
BeginFn
TimePoint
)
Merge.kif 7887-7887
The
range
of
begin
is an instance of
time point
(
range
BeginNodeFn
GraphNode
)
Merge.kif 5841-5841
The
range
of
begin node
is an instance of
graph node
(
range
BeliefGroupMemberFn
InternalAttribute
)
People.kif 684-684
The
range
of
BeliefGroupMemberFn
is an instance of
internal attribute
(
range
BidCountFn
NonnegativeInteger
)
UXExperimentalTerms.kif 3122-3122
The
range
of
bid count
is an instance of
nonnegative integer
(
range
BirthsPerThousandFn
RealNumber
)
People.kif 97-97
The
range
of
births per thousand
is an instance of
real number
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