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 24573-24573 | Telephone e' uma sub-classe de TelephonyDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25059-25059 | FixedPhone e' uma sub-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25062-25062 | MobileCellPhone e' uma sub-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25069-25069 | SatellitePhone e' uma sub-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26265-26265 | TDDPhone e' uma sub-classe de Telephone |