No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3049-3049	O contra-dominio de PPSFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5973-5973	O contra-dominio de PathWeightFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 38-38	O contra-dominio de PopulationGrowthFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2574-2574	O contra-dominio de ProbabilityFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5062-5062	O contra-dominio de RealNumberFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5071-5071	O contra-dominio de ReciprocalFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5171-5171	O contra-dominio de RoundFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3713-3713	O contra-dominio de SRPEngagementFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5212-5212	O contra-dominio de SineFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5220-5220	O contra-dominio de SquareRootFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4728-4728	O contra-dominio de SubtractionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5232-5232	O contra-dominio de TangentFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2003-2003	Numero Binario e' uma sub-classe de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1916-1916	Numero Irracional e' uma sub-classe de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1943-1943	Numero Real negativo e' uma sub-classe de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1921-1921	Numero Real nao-negativo e' uma sub-classe de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1911-1911	Numero Racional e' uma sub-classe de Numero Real
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 859-859
No TPTP formula. May not be expressible in strict first order.	english_format.kif 920-920
No TPTP formula. May not be expressible in strict first order.	french_format.kif 535-535
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 65-65
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 68-68
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2220-2220
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 487-487
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