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 3315-3319
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 432-437
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 2393-2393
The
range
of
aborted
is an instance of
process
(
range
AbortedLaunchFn
TakingOff
)
MilitaryProcesses.kif 2458-2458
The
range
of
aborted launch
is an instance of
taking off
(
range
AbortedMissionFn
MilitaryOperation
)
MilitaryProcesses.kif 2412-2412
The
range
of
aborted mission
is an instance of
military operation
(
range
AbsoluteValueFn
NonnegativeRealNumber
)
Merge.kif 4625-4625
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
AccountFn
FinancialAccount
)
FinancialOntology.kif 2287-2287
The
range
of
account
is an instance of
financial account
(
range
AdditionFn
Number
)
Merge.kif 4576-4576
The
range
of
addition
is an instance of
number
(
range
AddressFn
PhysicalAddress
)
QoSontology.kif 222-222
The
range
of
address
is an instance of
physical address
(
range
AfternoonFn
Afternoon
)
Merge.kif 8483-8483
The
range
of
AfternoonFn
is an instance of
afternoon
(
range
AgreementOrganizationFn
Organization
)
Geography.kif 2938-2938
The
range
of
agreement organization
is an instance of
organization
(
range
AmountsFn
List
)
Merge.kif 7366-7366
The
range
of
AmountsFn
is an instance of
list
(
range
ArcCosineFn
RealNumber
)
Merge.kif 5061-5061
The
range
of
arccosine
is an instance of
real number
(
range
ArcSineFn
RealNumber
)
Merge.kif 5071-5071
The
range
of
arcsine
is an instance of
real number
(
range
ArcTangentFn
RealNumber
)
Merge.kif 5051-5051
The
range
of
arctangent
is an instance of
real number
(
range
AssignmentFn
Entity
)
Merge.kif 754-754
The
range
of
assignment
is an instance of
entity
(
range
AttrFn
Class
)
Merge.kif 1719-1719
The
range
of
attr
is an instance of
class
(
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 861-861
The
range
of
available for military service male
is an instance of
integer
(
range
AverageFn
RealNumber
)
Merge.kif 3196-3196
The
range
of
average function
is an instance of
real number
(
range
BackFn
SelfConnectedObject
)
Merge.kif 857-857
The
range
of
back
is an instance of
self connected object
(
range
BeginFn
TimePoint
)
Merge.kif 7757-7757
The
range
of
begin
is an instance of
time point
(
range
BeginNodeFn
GraphNode
)
Merge.kif 5712-5712
The
range
of
begin node
is an instance of
graph node
(
range
BeliefGroupMemberFn
InternalAttribute
)
People.kif 681-681
The
range
of
BeliefGroupMemberFn
is an instance of
internal attribute
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