No TPTP formula. May not be expressible in strict first order.	Merge.kif 9013-9013	O argumento numero 1 de successorClass e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9014-9014	O argumento numero 2 de successorClass e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4531-4531	O argumento numero 1 de total e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1214-1214	O argumento numero 2 de totalFacilityTypeInArea e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3660-3660	O argumento numero 2 de totalOrderingOn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3682-3682	O argumento numero 2 de trichotomizingOn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 335-335	O argumento numero 2 de rangeSubclass e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2129-2129	O conceito Conjunto ou Classe e' completamente decomposto em Conjunto + Classe

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