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 309-311
(
domain
range
1
Function
)
Merge.kif 307-307
The number 1 argument of
range
is an
instance
of
function
(
domain
range
2
Class
)
Merge.kif 308-308
The number 2 argument of
range
is an
instance
of
class
(
instance
range
AsymmetricRelation
)
Merge.kif 306-306
range
is an
instance
of
asymmetric relation
(
instance
range
BinaryPredicate
)
Merge.kif 305-305
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 48747-48747
(
termFormat
EnglishLanguage
range
"range")
domainEnglishFormat.kif 48746-48746
antecedent
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3351-3355
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 313-317
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 325-331
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 434-439
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 319-323
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 319-323
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 3433-3433
The
range
of
average buying price
is an instance of
currency measure
(
range
ASPFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3478-3478
The
range
of
average buying price
is an instance of
currency measure
(
range
AbortedFn
Process
)
MilitaryProcesses.kif 2413-2413
The
range
of
aborted
is an instance of
process
(
range
AbortedLaunchFn
TakingOff
)
MilitaryProcesses.kif 2478-2478
The
range
of
aborted launch
is an instance of
taking off
(
range
AbortedMissionFn
MilitaryOperation
)
MilitaryProcesses.kif 2432-2432
The
range
of
aborted mission
is an instance of
military operation
(
range
AbsoluteValueFn
NonnegativeRealNumber
)
Merge.kif 4698-4698
The
range
of
absolute value
is an instance of
nonnegative real number
(
range
AccelerationFn
FunctionQuantity
)
Cars.kif 1280-1280
The
range
of
Acceleration fn
is an instance of
function quantity
(
range
AccountFn
FinancialAccount
)
FinancialOntology.kif 2331-2331
The
range
of
account
is an instance of
financial account
(
range
AdditionFn
RealNumber
)
Merge.kif 4649-4649
The
range
of
addition
is an instance of
real number
(
range
AddressFn
PhysicalAddress
)
QoSontology.kif 224-224
The
range
of
address
is an instance of
physical address
(
range
AfternoonFn
Afternoon
)
Merge.kif 8772-8772
The
range
of
afternoon of
is an instance of
afternoon
(
range
AgreementOrganizationFn
Organization
)
Geography.kif 2990-2990
The
range
of
agreement organization
is an instance of
organization
(
range
AmountsFn
List
)
Merge.kif 7519-7519
The
range
of
Amounts fn
is an instance of
list
(
range
ArcCosineFn
RealNumber
)
Merge.kif 5191-5191
The
range
of
arccosine
is an instance of
real number
(
range
ArcSineFn
RealNumber
)
Merge.kif 5201-5201
The
range
of
arcsine
is an instance of
real number
(
range
ArcTangentFn
RealNumber
)
Merge.kif 5181-5181
The
range
of
arctangent
is an instance of
real number
(
range
AssignmentFn
Entity
)
Merge.kif 782-782
The
range
of
assignment
is an instance of
entity
(
range
AuctionGMBFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3401-3401
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 3231-3231
The
range
of
average function
is an instance of
real number
(
range
BackFn
SelfConnectedObject
)
Merge.kif 893-893
The
range
of
back
is an instance of
self connected object
(
range
BeginFn
TimePoint
)
Merge.kif 7922-7922
The
range
of
begin
is an instance of
time point
(
range
BeginNodeFn
GraphNode
)
Merge.kif 5874-5874
The
range
of
begin node
is an instance of
graph node
(
range
BeliefGroupMemberFn
InternalAttribute
)
People.kif 700-700
The
range
of
Belief group member fn
is an instance of
internal attribute
(
range
BidCountFn
NonnegativeInteger
)
UXExperimentalTerms.kif 3120-3120
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