RingTorus - Sigma Knowledge base Browser

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 4472-4476
(instance RingTorus ShapeAttribute)	Cars.kif 4470-4470	Ring torus is an instance of shape attribute

appearance as argument number 2

(termFormat EnglishLanguage RingTorus "ring torus")

Cars.kif 4471-4471

antecedent

(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?X
                (HoleHostFn ?H)))))

Cars.kif 4478-4483

If ring torus is an attribute of an object,
then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole

consequent

(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceClosed))) (holdsDuring ?T (attribute ?C RingTorus)))	Mid-level-ontology.kif 31921-31927	If an entity is an instance of karabiner and device closed is an attribute of the entity holds during a time position, then ring torus is an attribute of the entity holds during the time position
(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceOpen))) (holdsDuring ?T (not (attribute ?C RingTorus))))	Mid-level-ontology.kif 31942-31949	If an entity is an instance of karabiner and device open is an attribute of the entity holds during a time position, then ring torus is not an attribute of the entity holds during the time position
(=> (instance ?CL ChainLink) (attribute ?CL RingTorus))	Cars.kif 4494-4496	If an object is an instance of chain link, then ring torus is an attribute of the object
(=> (instance ?W WasherForBolt) (attribute ?W RingTorus))	Mid-level-ontology.kif 4361-4363	If an object is an instance of washer, then ring torus is an attribute of the object