No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25061-25061 |
MobileCellPhone e' uma sub-classe de ReceiverDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 665-665 |
RadioReceiver e' uma sub-classe de ReceiverDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25068-25068 |
SatellitePhone e' uma sub-classe de ReceiverDevice |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 380-380 |
TelevisionReceiver e' uma sub-classe de ReceiverDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48950-48950 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48949-48949 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48948-48948 |
|