TreeView Knowledge Base Browser - FourPosterBed

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FourPosterBed

FourPosterBed(four-poster 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")	Mid-level-ontology.kif 4507-4508
(subclass FourPosterBed BedFrame)	Mid-level-ontology.kif 4506-4506	Four-poster bed is a subclass of bed frame

appearance as argument number 2

(termFormat EnglishLanguage FourPosterBed "four-poster bed")

Mid-level-ontology.kif 4509-4509

antecedent

(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST))))	Mid-level-ontology.kif 4521-4538	If a geometric figure is an attribute of an object and the object is an instance of four-poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and equal the one dimensional figure and the other one dimensional figure, then there exist another object, a third object,, , a geometric point and a fourth object such that the other object is a part of the object 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 and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
(=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral))))	Mid-level-ontology.kif 4514-4519	If an object is an instance of four-poster bed, then there exists an attribute such that the attribute is an attribute of the object and the attribute is an instance of quadrilateral

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