ElectricDevice

-------------------------


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners