Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(
subclass
NonCompositeUnitOfMeasure
UnitOfMeasure
)
Merge.kif 6215-6215
Non composite unit of measure
is a
subclass
of
unit of measure
(
subclass
NonCompositeUnitOfMeasure
ConstantQuantity
)
Merge.kif 6216-6216
Non composite unit of measure
is a
subclass
of
constant quantity
(
subclass
UnitOfLength
NonCompositeUnitOfMeasure
)
Merge.kif 6247-6247
Unit of length
is a
subclass
of
non composite unit of measure
(
subclass
UnitOfMass
NonCompositeUnitOfMeasure
)
Merge.kif 6259-6259
Unit of mass
is a
subclass
of
non composite unit of measure
(
subclass
UnitOfTemperature
NonCompositeUnitOfMeasure
)
Merge.kif 6295-6295
Unit of temperature
is a
subclass
of
non composite unit of measure
(
subclass
UnitOfCurrency
NonCompositeUnitOfMeasure
)
Merge.kif 6308-6308
Unit of currency
is a
subclass
of
non composite unit of measure
(
subclass
UnitOfAngularMeasure
NonCompositeUnitOfMeasure
)
Merge.kif 6318-6318
Unit of angular measure
is a
subclass
of
non composite unit of measure
(
subclass
UnitOfInformation
NonCompositeUnitOfMeasure
)
Merge.kif 6333-6333
Unit of information
is a
subclass
of
non composite unit of measure
(
subclass
UnitOfDuration
NonCompositeUnitOfMeasure
)
Merge.kif 6339-6339
Unit of duration
is a
subclass
of
non composite unit of measure
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