No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4239-4239 |
Anchor is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4168-4168 |
Bolt is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4262-4262 |
Button is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4272-4272 |
Clamp is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8897-8897 |
Glue is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4190-4190 |
Nut is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4222-4222 |
Nail is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4189-4189 |
Screw is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4226-4226 |
Tape is a subclass of attaching device |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8970-8970 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8969-8969 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8968-8968 |
|