No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2205-2205	Firmware e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3247-3247	IBooks e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3361-3361	IMessage e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3381-3381	ITunes e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 857-857	MonitoringProgram e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 594-594	RMStartApplication e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 612-612	ResourceManagementProgram e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2360-2360	SearchEngine e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 406-406	ShutdownBlock e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 268-268	SoftwareSystem e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 365-365	StartupBlock e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2021-2021	Utility e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2097-2097	WebBrowser e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1233-1233
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1687-1687
No TPTP formula. May not be expressible in strict first order.	french_format.kif 911-911
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 444-444
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 447-447
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2595-2595
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 863-863
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 449-449
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 483-483
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 932-932
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 448-448
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