Term Intersection
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
subclass
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871878
If
an unit of measure
is a
subclass
of
area measure
and the
measure
of
alaska
is
a real number
the unit of measure
(s) and the
measure
of
an object
is
another real number
the unit of measure
(s) and
the object
is an
instance
of
american state
and
alaska
is not
equal
to
the object
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
measure
?NORMAL ?AREA1)
(
measure
?ROOM ?AREA2)
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 11401152
If
oversized
is an
attribute
of
an object
and
the object
is an
immediate
instance of
a set or class
and
the set or class
is a
subclass
of
hotel unit
,
then there exist
another object
,
a physical quantity
and
another physical quantity
such that
the other object
is an
immediate
instance of
the set or class
and the
measure
of
the other object
is
the physical quantity
and the
measure
of
the object
is
the other physical quantity
and
the physical quantity
is an
instance
of
area measure
and
the other physical quantity
is an
instance
of
area measure
and
the other physical quantity
is
greater
than
the physical quantity
(
subclass
AreaMeasure
FunctionQuantity
)
Merge.kif 59195919
Area measure
is a
subclass
of
function quantity
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners