No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2582-2582 |
Radar e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1803-1803 |
ReceiverDevice e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2343-2343 |
Refrigerator e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 834-834 |
ResistorElement e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2868-2868 |
SecurityAlarm e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5640-5640 |
SolderingIron e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3931-3931 |
Solenoid e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26022-26022 |
SpeakerDevice e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 790-790 |
Stator e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1813-1813 |
Telegraph e' uma sub-classe de ElectricDevice |
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 24562-24562 |
TelephonyDevice e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 398-398 |
TelevisionSet e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 557-557 |
VideoCamera e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26250-26250 |
VideoDisplay e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21570-21570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21569-21569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21568-21568 |
|