RingTorus - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4411-4415
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4409-4409	Ring torus is an instance of shape attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Cars.kif 4410-4410

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 4417-4422

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30807-30813	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30828-30835	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4433-4435	If an object is an instance of chain link, then ring torus is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4295-4297	If an object is an instance of washer, then ring torus is an attribute of the object