Hammock - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Hammock

Hammock(hammock)

appearance as argument number 1

(documentation Hammock EnglishLanguage "Hammock is a type of Bed made of rope or canvas and is suspended between two stationary objects")	Mid-level-ontology.kif 4486-4487
(subclass Hammock Bed)	Mid-level-ontology.kif 4485-4485	Hammock is a subclass of bed

appearance as argument number 2

(termFormat EnglishLanguage Hammock "hammock")

Mid-level-ontology.kif 4488-4488

antecedent

(=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 4490-4501	If a corpuscular object is an instance of hammock, then fabric is made of the corpuscular object and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
(=> (instance ?X Hammock) (hasPurpose ?X (exists (?PROC) (and (instance ?PROC LyingDown) (eventLocated ?PROC ?X)))))	Mid-level-ontology.kif 4503-4509	If a physical is an instance of hammock, then the physical purpose there exists an entity such that the entity is an instance of lying down and the entity is located at 2

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 3.0 is open source software produced by Articulate Software and its partners