TreeView Knowledge Base Browser - cylinderBore

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - cylinderBore

cylinderBore

appearance as argument number 1

(documentation cylinderBore EnglishLanguage "The diameter of a cylindrical HoleRegion.")	Cars.kif 1534-1534
(domain cylinderBore 1 HoleRegion)	Cars.kif 1538-1538	The number 1 argument of cylinder bore is an instance of hole
(domain cylinderBore 2 LengthMeasure)	Cars.kif 1539-1539	The number 2 argument of cylinder bore is an instance of length measure
(instance cylinderBore BinaryPredicate)	Cars.kif 1532-1532	cylinder bore is an instance of binary predicate
(instance cylinderBore SpatialRelation)	Cars.kif 1531-1531	cylinder bore is an instance of spatial relation

appearance as argument number 2

(format EnglishLanguage cylinderBore "the bore of %1 is %2")	Cars.kif 1533-1533
(termFormat EnglishLanguage cylinderBore "cylinder bore")	domainEnglishFormat.kif 65851-65851

antecedent

(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI Circle))
    (diameter ?CI ?M))

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

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