No TPTP formula. May not be expressible in strict first order.	Cars.kif 1376-1376	MechanicalJoint e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2198-2198	Radiator e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	engineering.kif 779-779	Rotor e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	engineering.kif 771-771	Shaft e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	engineering.kif 789-789	Stator e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1784-1784	SwitchDevice e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Communications.kif 381-381	TelevisionReceiver e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	engineering.kif 912-912	Valve e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1512-1512	WingDevice e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3622-3622	WireLine e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3617-3617	WireSpring e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1061-1061
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1333-1333
No TPTP formula. May not be expressible in strict first order.	french_format.kif 739-739
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 270-270
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 273-273
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2423-2423
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 691-691
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 309-309
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 760-760
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 274-274

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