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