TreeView Knowledge Base Browser - Cylinder

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Cylinder

Cylinder(cylinder)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4840-4842
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1083-1083
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4839-4839	Cylinder is an instance of three dimensional figure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18282-18282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18281-18281
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18280-18280

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 1541-1549

If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is circle,
then the diameter of the object is the length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 568-573	If a process is an instance of cyclonic storm and an object is an instance of air stream and the process is located at the object, then the object is cylinder
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 418-423	If an entity is an instance of cell, then the statement the entity cells are shaped like a sphere or the entity cells are shaped like a cylinder has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5486-5488	If a cell is an instance of E. coli, then the cell cells are shaped like a cylinder
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1611-1621	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and the other object is equal to the host of the hole the hole and the hole is cylinder and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 964-973	If a self connected object is an instance of golf hole, then there exists another self connected object such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is circle and the diameter of the other self connected object is 4.25 inch(s)

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