| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30825-30825 | ClimbingCarabiner e' uma sub-classe de Carabiner |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30826-30826 | ClimbingCarabiner e' uma sub-classe de SafetyDevice |
|
|