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 4419-4423 | |
(instance RingTorus ShapeAttribute) | Cars.kif 4417-4417 |
appearance as argument number 2 |
(termFormat EnglishLanguage RingTorus "ring torus") | Cars.kif 4418-4418 |
antecedent |
(=> (attribute ?X RingTorus) (exists (?H) (and (instance ?H HoleRegion) (equal ?X (HoleHostFn ?H))))) |
Cars.kif 4425-4430 |
consequent |
(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceClosed))) (holdsDuring ?T (attribute ?C RingTorus))) |
Mid-level-ontology.kif 30795-30801 | |
(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceOpen))) (holdsDuring ?T (not (attribute ?C RingTorus)))) |
Mid-level-ontology.kif 30816-30823 | |
(=> (instance ?CL ChainLink) (attribute ?CL RingTorus)) |
Cars.kif 4441-4443 | |
(=> (instance ?W WasherForBolt) (attribute ?W RingTorus)) |
Mid-level-ontology.kif 4295-4297 |