Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
rangeSubclass
Sigma KEE - rangeSubclass
rangeSubclass
appearance as argument number 1
(
documentation
rangeSubclass
ChineseLanguage
"(
rangeSubclass
?FUNCTION ?CLASS) 的意思是 所有由 ?FUNCTION 所指定的值,都是这个 ?CLASS 的
subclass
。")
chinese_format.kif 1492-1493
(
documentation
rangeSubclass
EnglishLanguage
"(
rangeSubclass
?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are
subclass
es of ?CLASS.")
Merge.kif 335-336
(
domain
rangeSubclass
1
Function
)
Merge.kif 333-333
(
domainSubclass
rangeSubclass
2
SetOrClass
)
Merge.kif 334-334
(
instance
rangeSubclass
AsymmetricRelation
)
Merge.kif 332-332
(
instance
rangeSubclass
BinaryPredicate
)
Merge.kif 331-331
appearance as argument number 2
(
format
ChineseLanguage
rangeSubclass
"%1 的所得值 %n 是 %2 的
subclass
")
chinese_format.kif 329-329
(
format
EnglishLanguage
rangeSubclass
"the values returned by %1 are %n
subclass
es of %2")
english_format.kif 337-337
(
termFormat
ChineseLanguage
rangeSubclass
"子类别的范围")
chinese_format.kif 330-330
(
termFormat
ChineseLanguage
rangeSubclass
"范围子类")
domainEnglishFormat.kif 48758-48758
(
termFormat
ChineseTraditionalLanguage
rangeSubclass
"範圍子類")
domainEnglishFormat.kif 48757-48757
(
termFormat
EnglishLanguage
rangeSubclass
"range subclass")
domainEnglishFormat.kif 48756-48756
antecedent
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 338-342
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 350-356
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 440-445
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
rangeSubclass
?REL2 ?CLASS1))
(
rangeSubclass
?REL1 ?CLASS1))
Merge.kif 344-348
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
rangeSubclass
?REL2 ?CLASS1))
(
rangeSubclass
?REL1 ?CLASS1))
Merge.kif 344-348
appearance as argument number 0
(
rangeSubclass
AgentOfOrganismFn
BiologicalAgent
)
WMD.kif 88-88
(
rangeSubclass
AlbumCopiesFn
DataStorageDevice
)
Music.kif 928-928
(
rangeSubclass
ConstitutionFn
Constitution
)
Government.kif 662-662
(
rangeSubclass
CoveringFn
WearableItem
)
Mid-level-ontology.kif 27942-27942
(
rangeSubclass
CutSetFn
GraphPath
)
Merge.kif 5774-5774
(
rangeSubclass
DayFn
Day
)
Merge.kif 8076-8076
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 235-235
(
rangeSubclass
DemonymFn
NationalPerson
)
Mid-level-ontology.kif 28808-28808
(
rangeSubclass
DocumentFn
Text
)
Geography.kif 2872-2872
(
rangeSubclass
EditionFn
ContentBearingObject
)
Merge.kif 14388-14388
(
rangeSubclass
ElectionFn
Election
)
Government.kif 1640-1640
(
rangeSubclass
FailureFn
Process
)
ComputingBrands.kif 4435-4435
(
rangeSubclass
FarmOfProductFn
CultivatedLandArea
)
Food.kif 1091-1091
(
rangeSubclass
FiscalYearFn
TimeInterval
)
Economy.kif 3701-3701
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 13844-13844
(
rangeSubclass
GeographicPartTypeFn
GeographicArea
)
Geography.kif 6346-6346
(
rangeSubclass
GraphPathFn
GraphPath
)
Merge.kif 5758-5758
(
rangeSubclass
HourFn
Hour
)
Merge.kif 8101-8101
(
rangeSubclass
IntervalFn
ConstantQuantity
)
Merge.kif 6286-6286
(
rangeSubclass
JuiceOfFn
Juice
)
Food.kif 596-596
(
rangeSubclass
MakingFn
Object
)
Merge.kif 17051-17051
(
rangeSubclass
MinimalCutSetFn
GraphPath
)
Merge.kif 5782-5782
(
rangeSubclass
MinuteFn
Minute
)
Merge.kif 8127-8127
(
rangeSubclass
MonthFn
Month
)
Merge.kif 8059-8059
(
rangeSubclass
NetworkCommunicationFn
NetworkCommunication
)
ComputingBrands.kif 1496-1496
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