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 3947-3948
(subclass Hammock Bed)	Mid-level-ontology.kif 3946-3946	Hammock is a subclass of bed

appearance as argument number 2

(termFormat EnglishLanguage Hammock "hammock")

Mid-level-ontology.kif 3949-3949

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 3951-3962	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 3964-3970	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