No TPTP formula. May not be expressible in strict first order.	Merge.kif 9013-9013	域 successorClass, 1 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9014-9014	域 successorClass, 2 and Class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4531-4531	域 total, 1 and Class
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1214-1214	域 區域總設施類型, 2 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3660-3660	域 總訂貨量, 2 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3682-3682	域 trichotomizing, 2 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 335-335	域子類 範圍子類, 2 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2129-2129	劃分 SetOrClass, Set and Class

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