No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2205-2205	子類 韌體 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3247-3247	子類 AppleBooks and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3361-3361	子類 IMessage and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3381-3381	子類 ITunes and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 857-857	子類 監測計劃 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 594-594	子類 RMStartApplication and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 612-612	子類 資源管理計劃 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2360-2360	子類 SearchEngine and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 406-406	子類 關機塊 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 268-268	子類 軟件系統 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 365-365	子類 啟動塊 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2021-2021	子類 效用 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2097-2097	子類 WebBrowser and ComputerProgram
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