Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
weight
Sigma KEE - weight
weight
appearance as argument number 1
(
documentation
weight
ChineseLanguage
"(
weight
?O ?MM)的意思是在地球上,这个
SelfConnectedObject
?O 的重量是 ?MM。")
chinese_format.kif 2606-2607
(
documentation
weight
EnglishLanguage
"(
weight
?O ?MM) means that on planet earth the
SelfConnectedObject
?O has the weight ?MM.")
Merge.kif 7333-7334
(
documentation
weight
JapaneseLanguage
"(
weight
?O ?MM) とは、地球上で
SelfConnectedObject
?O が重量?MMを持っていることを意味する。")
japanese_format.kif 1319-1320
(
domain
weight
1
SelfConnectedObject
)
Merge.kif 7328-7328
(
domain
weight
2
MassMeasure
)
Merge.kif 7329-7329
(
instance
weight
BinaryPredicate
)
Merge.kif 7330-7330
(
subrelation
weight
measure
)
Merge.kif 7331-7331
appearance as argument number 2
(
format
ChineseLanguage
weight
"%2 %n 是 %1 的
weight
")
domainEnglishFormat.kif 2622-2622
(
format
ChineseTraditionalLanguage
weight
"%2 %n 是 %1 的
weight
")
domainEnglishFormat.kif 2621-2621
(
format
EnglishLanguage
weight
"%2 is %n a
weight
of %1")
domainEnglishFormat.kif 2620-2620
(
termFormat
ChineseLanguage
weight
"重量")
domainEnglishFormat.kif 62673-62673
(
termFormat
ChineseTraditionalLanguage
weight
"重量")
domainEnglishFormat.kif 62672-62672
(
termFormat
EnglishLanguage
weight
"weight")
domainEnglishFormat.kif 62671-62671
antecedent
(=>
(
and
(
instance
?L
CocoaLiquor
)
(
weight
?L
(
MeasureFn
100.0
Gram
))
(
instance
?S
CocoaSolid
)
(
part
?S ?L)
(
weight
?S
(
MeasureFn
?X
Gram
))
(
instance
?B
CocoaButter
)
(
part
?B ?L)
(
weight
?B
(
MeasureFn
?Y
Gram
)))
(
and
(
approximateValue
?X 50.0)
(
approximateValue
?Y 50.0)))
Food.kif 2470-2485
(=>
(
and
(
instance
?T
ShipContainer
)
(
capacity
?T
(
MeasureFn
?X ?U))
(
instance
?X
UnitOfMass
)
(
contains
?T ?O)
(
weight
?O
(
MeasureFn
?Y ?U))
(
lessThan
?Y ?X))
(
modalAttribute
(
not
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?T))))
Likely
))
Transportation.kif 2829-2844
(=>
(
and
(
maximumPayloadCapacity
?V
(
MeasureFn
?WEIGHT ?UNITWEIGHT))
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
instance
?O
SelfConnectedObject
)
(
weight
?O
(
MeasureFn
?WEO ?WEOU))
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WEOU ?UNITWEIGHT)
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
lessThanOrEqualTo
?WEO ?WEIGHT)
(
lessThanOrEqualTo
?WO ?WIDTH)
(
lessThanOrEqualTo
?HO ?HEIGHT))
(
capability
(
KappaFn
?TRANSPORT
(
and
(
instance
?TRANSPORT
Transportation
)
(
patient
?TRANSPORT ?O)))
instrument
?V))
MilitaryDevices.kif 144-169
consequent
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
(=>
(
maximumPayloadCapacity
?V
(
MeasureFn
?LOAD ?UNITLOAD))
(
not
(
exists
(?TP ?O ?WO ?WOU)
(
and
(
instance
?TP
Transportation
)
(
instrument
?TP ?V)
(
patient
?TP ?O)
(
weight
?O
(
MeasureFn
?WO ?WOU))
(
equal
?WOU ?UNITLOAD)
(
greaterThan
?WO ?LOAD)))))
MilitaryDevices.kif 92-104
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