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 4020-4021
(subclass Hammock Bed)	Mid-level-ontology.kif 4019-4019	Hammock is a subclass of bed

appearance as argument number 2

(termFormat EnglishLanguage Hammock "hammock")

Mid-level-ontology.kif 4022-4022

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 4024-4035	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric 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 4037-4043	If a physical is an instance of hammock, then the physical has the purpose there exists an entity such that the entity is an instance of lying down and the entity is located at the physical

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