No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2205-2205	韧体 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3247-3247	AppleBooks 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3361-3361	IMessage 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3381-3381	ITunes 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 857-857	监测计划 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 594-594	RMStartApplication 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 612-612	资源管理计划 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2360-2360	SearchEngine 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 406-406	关机块 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 268-268	软件系统 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 365-365	启动块 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2021-2021	效用 是 电脑程序 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2097-2097	WebBrowser 是 电脑程序 的 subclass
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