No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | Telephone is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | Telephone is a subclass of communication device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24573-24573 | Telephone is a subclass of telephony device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25059-25059 | Fixed phone is a subclass of telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25062-25062 | Mobile cell phone is a subclass of telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25069-25069 | Satellite phone is a subclass of telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26265-26265 | TDD phone is a subclass of telephone |
![]() |