| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | Telephone e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | Telephone e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24574-24574 | Telephone e' uma sub-classe de TelephonyDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25060-25060 | FixedPhone e' uma sub-classe de Telephone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25063-25063 | MobileCellPhone e' uma sub-classe de Telephone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25070-25070 | SatellitePhone e' uma sub-classe de Telephone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26277-26277 | TDDPhone e' uma sub-classe de Telephone |
|
|