TreeView Knowledge Base Browser

appearance as argument number 1

(instance RingTorus ShapeAttribute)	Mid-level-ontology.kif 33389-33389	Ring torus is an instance of shape attribute
(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.")	Mid-level-ontology.kif 33391-33395	Ring torus is an instance of shape attribute

appearance as argument number 2

(termFormat EnglishLanguage RingTorus "ring torus")

antecedent

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

If ring torus is an attribute of X, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y

consequent

(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceClosed))) (holdsDuring ?T (attribute ?C RingTorus)))	Mid-level-ontology.kif 33404-33410	If X is an instance of karabiner and device closed is an attribute of X holds during Y, then ring torus is an attribute of X holds during Y
(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceOpen))) (holdsDuring ?T (not (attribute ?C RingTorus))))	Mid-level-ontology.kif 33425-33432	If X is an instance of karabiner and device open is an attribute of X holds during Y, then ring torus is not an attribute of X holds during Y
(=> (instance ?W WasherForBolt) (attribute ?W RingTorus))	Cars.kif 4089-4091	If X is an instance of washer, then ring torus is an attribute of X
(=> (instance ?CL ChainLink) (attribute ?CL RingTorus))	Cars.kif 4325-4327	If X is an instance of chain link, then ring torus is an attribute of X