Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  FourPosterBed
FourPosterBed
(fourposter bed)
fourposter
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 45474548
(
subclass
FourPosterBed
BedFrame
)
Midlevelontology.kif 45464546
Fourposter bed
is a
subclass
of
bed frame
appearance as argument number 2
(
termFormat
EnglishLanguage
FourPosterBed
"fourposter bed")
Midlevelontology.kif 45494549
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
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
))))))))
Midlevelontology.kif 45514570
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
is
point
of intersection
another one dimensional figure
for
the geometric point
and
the geometric figure
の
size
は
the one dimensional figure
では %n and
the geometric figure
の
size
は
the other one dimensional figure
では %n 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
the 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