No TPTP formula. May not be expressible in strict first order.	People.kif 71-71	Le domaine de BirthsPerThousandFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 690-690	Le domaine de BorderFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2880-2880	Le domaine de BoughtItemsFn est une instance de nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1320-1320	Le domaine de CPUUtilizationFn est une instance de quantit� constante
No TPTP formula. May not be expressible in strict first order.	Government.kif 1528-1528	Le domaine de CabinetFn est une instance de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5509-5509	Le domaine de CardinalityFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4784-4784	Le domaine de CeilingFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1169-1169	Le domaine de CellPartFn est une instance de CellPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7649-7649	Le domaine de CenterOfCircleFn est une instance de GeometricPoint
No TPTP formula. May not be expressible in strict first order.	People.kif 443-443	Le domaine de ChildrenBornPerWomanFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	Le domaine de CitizenryFn est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3331-3331	Le domaine de ClickThroughRateFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5478-5478	Le domaine de ComplementFn est une instance de ensemble ou classe
No TPTP formula. May not be expressible in strict first order.	Music.kif 1049-1049	Le domaine de ContestFn est une instance de affrontement
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2843-2843	Le domaine de ConversionRateFn est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4802-4802	Le domaine de CosineFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 284-284	Le domaine de CurrencyFn est une instance de FinancialInstrument
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4858-4858	Le domaine de DatumFn est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18262-18262	Le domaine de DeadOrMissingBodyPartFn est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	People.kif 104-104	Le domaine de DeathsPerThousandFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 230-230	Le domaine de DeathsPerThousandLiveBirthsFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4811	Le domaine de DenominatorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6647-6647	Le domaine de DensityFn est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18324-18324	Le domaine de DepartmentOfFn est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18396-18396	Le domaine de DepartmentOfPreventingFn est une instance de organisation
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