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
(
domain
range
2
Class
)
Merge.kif 305-305
(
instance
range
AsymmetricRelation
)
Merge.kif 303-303
(
instance
range
BinaryPredicate
)
Merge.kif 302-302
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
(=>
(
and
(
range
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
instance
?VALUE ?CLASS))
Merge.kif 310-314
(=>
(
and
(
range
?REL ?CLASS1)
(
range
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 322-328
(=>
(
and
(
range
?REL1 ?CLASS1)
(
range
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 431-436
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
range
?REL2 ?CLASS1))
(
range
?REL1 ?CLASS1))
Merge.kif 316-320
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
range
?REL2 ?CLASS1))
(
range
?REL1 ?CLASS1))
Merge.kif 316-320
appearance as argument number 0
(
range
ABPFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3437-3437
(
range
ASPFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3480-3480
(
range
AbortedFn
Process
)
MilitaryProcesses.kif 2412-2412
(
range
AbortedLaunchFn
TakingOff
)
MilitaryProcesses.kif 2477-2477
(
range
AbortedMissionFn
MilitaryOperation
)
MilitaryProcesses.kif 2431-2431
(
range
AbsoluteValueFn
NonnegativeRealNumber
)
Merge.kif 4667-4667
(
range
AccelerationFn
FunctionQuantity
)
Cars.kif 1280-1280
(
range
AdditionFn
RealNumber
)
Merge.kif 4618-4618
(
range
AddressFn
PhysicalAddress
)
QoSontology.kif 222-222
(
range
AfternoonFn
Afternoon
)
Merge.kif 8737-8737
(
range
AgreementOrganizationFn
Organization
)
Geography.kif 2979-2979
(
range
AmountsFn
List
)
Merge.kif 7484-7484
(
range
ArcCosineFn
RealNumber
)
Merge.kif 5160-5160
(
range
ArcSineFn
RealNumber
)
Merge.kif 5170-5170
(
range
ArcTangentFn
RealNumber
)
Merge.kif 5150-5150
(
range
AssignmentFn
Entity
)
Merge.kif 771-771
(
range
AuctionGMBFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3402-3402
(
range
AvailableForMilitaryServiceMaleFn
Integer
)
Military.kif 866-866
(
range
AverageFn
RealNumber
)
Merge.kif 3201-3201
(
range
BackFn
SelfConnectedObject
)
Merge.kif 874-874
(
range
BeginFn
TimePoint
)
Merge.kif 7887-7887
(
range
BeginNodeFn
GraphNode
)
Merge.kif 5841-5841
(
range
BeliefGroupMemberFn
InternalAttribute
)
People.kif 684-684
(
range
BidCountFn
NonnegativeInteger
)
UXExperimentalTerms.kif 3122-3122
(
range
BirthsPerThousandFn
RealNumber
)
People.kif 97-97
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