No TPTP formula. May not be expressible in strict first order.	engineering.kif 44-44	LexiconCategory e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19250-19250	LinguisticAttribute e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	engineering.kif 319-319	MultipoleAttribute e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	engineering.kif 705-705	Nonlinear e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1810-1810	PhysicalAttribute e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	engineering.kif 254-254	PhysicalDomain e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17541-17541	Estado Fisico e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17985-17985	Atributo de Saturacao e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7334-7334	SolubilityAttribute e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17723-17723	StructureAttribute e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1737-1737	TerrainAttribute e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 383-383	TrackGauge e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4064-4064	VolcanoStatus e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1369-1369	WebDocumentAttribute e' uma sub-classe de Atributo Interno
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 856-856
No TPTP formula. May not be expressible in strict first order.	english_format.kif 914-914
No TPTP formula. May not be expressible in strict first order.	french_format.kif 532-532
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 63-63
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 66-66
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2217-2217
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 484-484
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 553-553
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 67-67
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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