Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RingTorus

Sigma KEE - RingTorus
RingTorus

appearance as argument number 1
-------------------------


(documentation RingTorus EnglishLanguage "Informally, the shape of a donut. More formally, the shape described by the edge of an oval when its center follows a oval path perpendicular to the plane of the first oval, and when the axis of the moving oval in the plane of the fixed oval is smaller than the shorter axis of the fixed oval.") Cars.kif 4414-4418
(instance RingTorus ShapeAttribute) Cars.kif 4412-4412

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage RingTorus "ring torus") Cars.kif 4413-4413

antecedent
-------------------------


(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?X
                (HoleHostFn ?H)))))
Cars.kif 4420-4425

consequent
-------------------------


(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (attribute ?C RingTorus)))
Mid-level-ontology.kif 29505-29511
(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceOpen)))
    (holdsDuring ?T
        (not
            (attribute ?C RingTorus))))
Mid-level-ontology.kif 29526-29533
(=>
    (instance ?CL ChainLink)
    (attribute ?CL RingTorus))
Cars.kif 4436-4438
(=>
    (instance ?W WasherForBolt)
    (attribute ?W RingTorus))
Mid-level-ontology.kif 4167-4169


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