| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2993-2993 | Fax machine is a subclass of telephony device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2995-2995 | Fax machine is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2996-2996 | Fax machine is a subclass of communication device |
|
|