No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3049-3049	Le domaine de PPSFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5973-5973	Le domaine de PathWeightFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 38-38	Le domaine de PopulationGrowthFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2574-2574	Le domaine de ProbabilityFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5062-5062	Le domaine de RealNumberFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5071-5071	Le domaine de ReciprocalFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5171-5171	Le domaine de RoundFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3713-3713	Le domaine de SRPEngagementFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5212-5212	Le domaine de SineFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5220-5220	Le domaine de SquareRootFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4728-4728	Le domaine de SubtractionFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5232-5232	Le domaine de TangentFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2003-2003	Nombre binaire est une sous-classe de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1916-1916	Nombre irrationnel est une sous-classe de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1943-1943	Nombre r�el n�gatif est une sous-classe de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1921-1921	Nombre r�el non n�gatif est une sous-classe de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1911-1911	Nombre rationnel est une sous-classe de nombre r�el
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