Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  FourPosterBed
FourPosterBed
(fourposter bed)
fourposter
,
fourposter_bed
appearance as argument number 1
(
documentation
FourPosterBed
EnglishLanguage
"
FourPosterBed
is a type of
BedFrame
with a post at each corner to support curtains or a canopy")
Midlevelontology.kif 45464547
(
subclass
FourPosterBed
BedFrame
)
Midlevelontology.kif 45454545
Fourposter bed
is a
subclass
of
bed frame
appearance as argument number 2
(
termFormat
EnglishLanguage
FourPosterBed
"fourposter bed")
Midlevelontology.kif 45484548
"fourposter bed" is the
printable
form
of
fourposter bed
in
english language
antecedent
(=>
(
instance
?X
FourPosterBed
)
(
exists
(?SHAPE)
(
and
(
attribute
?X ?SHAPE)
(
instance
?SHAPE
Quadrilateral
)
(
forall
(?CORNER)
(=>
(
and
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR)
(
and
(
meetsSpatially
?CORNER ?POST)
(
instance
?POST
Artifact
)
(
instance
?FLOOR
Floor
)
(
orientation
?BED ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
))))))))
Midlevelontology.kif 45504569
If
an object
is an
instance
of
fourposter bed
,
then there exists
a geometric figure
such that
the geometric figure
is an
attribute
of
the object
and
the geometric figure
is an
instance
of
quadrilateral
and for all
a geometric point
if
an one dimensional figure
point
of intersection
another one dimensional figure
for
the geometric point
and the
size
of
the geometric figure
is
the one dimensional figure
and the
size
of
the geometric figure
is
the other one dimensional figure
and
the one dimensional figure
is not
equal
to
the other one dimensional figure
,
then there exist
another object
and
a third object
such that
the geometric point
meet
s
the other object
and
the other object
is an
instance
of
artifact
and
the third object
is an
instance
of
floor
and
a fourth object
is
on
to
the third object
and
the other object
is
vertical
to
the third object
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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