No TPTP formula. May not be expressible in strict first order.	Merge.kif 16777-16777	程序 是 命题 的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 863-863	区域法 是 命题 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1240-1240	科学法 是 命题 的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 899-899	选举法 是 命题 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1630-1630	TPFDD 是 命题 的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 932-932
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1071-1071
No TPTP formula. May not be expressible in strict first order.	french_format.kif 608-608
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 139-139
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 142-142
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2293-2293
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 560-560
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 144-144
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 176-176
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 629-629
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 143-143

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