No TPTP formula. May not be expressible in strict first order.	Economy.kif 1318-1323	incomeDistributionByGiniIndexInPeriod secteur g�opolitique, nombre r�el non n�gatif and interval temporel position temporel position temporel est une instance de interval temporel incomeDistributionByGiniIndex secteur g�opolitique and nombre r�el non n�gatif pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1949-1954	industrialProductionGrowthRateInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel industrialProductionGrowthRate secteur g�opolitique and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20200-20204	Objet est une instance de Bull objet est une instance de Cattle Female est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20218-20222	Objet est une instance de Bull objet est une instance de Cattle Male est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11682-11689	Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20209-20213	Objet est une instance de Calf objet est une instance de Cattle NonFullyFormed est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6478-6488	Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1321-1326	Collateral est une instance de Collateral FinancialAccount FinancialAccount est une instance de SecuredLoan securedBy FinancialAccount and Collateral
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8080-8085	Secteur g�opolitique est une instance de CityDistrict secteur g�opolitique secteur g�opolitique est une instance de ville sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30094-30098	Objet est une instance de DamagedVehicle objet est une instance de Vehicle DeviceDamaged est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20232-20236	Objet est une instance de Hen objet est une instance de Chicken Female est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 63-68	Objet corpusculaire est une instance de ComputerHardware objet corpusculaire objet corpusculaire est une instance de Computer objet corpusculaire est un composant de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8979-8983	Objet est une instance de Ice objet est une instance de eau Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1668-1673	PerformanceMeasure est une instance de InflationIndex abstrait abstrait est une instance de Inflation benchmark abstrait and PerformanceMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1696-1701	Abstrait est une instance de StockIndex PerformanceMeasure PerformanceMeasure est une instance de Stock benchmark abstrait and PerformanceMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20186-20190	Objet est une instance de Lamb objet est une instance de Sheep NonFullyFormed est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1948-1952	Nombre r�el est une instance de nombre r�el n�gatif nombre r�el est moins que 0 nombre r�el est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1926-1930	Nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est plus grand ou �gal � 0 nombre r�el est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1937-1941	Nombre r�el est une instance de nombre r�el positif nombre r�el est plus grand que 0 nombre r�el est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 108-115	Organisation est une instance de GovernmentOrganization organisation est une instance de gouvernement organisation organisation est une instance de gouvernement organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20241-20245	Objet est une instance de Rooster objet est une instance de Chicken Male est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10944-10950	Objet corpusculaire est une instance de vertebr� objet corpusculaire objet corpusculaire est une instance de animal objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de SpinalColumn
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1419-1424	laborForceFractionByOccupationInPeriod secteur g�opolitique, attribut, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel laborForceFractionByOccupation secteur g�opolitique, attribut and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1373-1378	laborForceTotalInPeriod secteur g�opolitique, nombre r�el non n�gatif and interval temporel position temporel position temporel est une instance de interval temporel laborForceTotal secteur g�opolitique and nombre r�el non n�gatif pendant position temporel
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	languagePercentInRegion langage, nombre r�el and secteur g�ographique collection collection, sentient agent, sentient agent2, nombre r�el1 and nombre r�el2 sentient agent est situ� � secteur g�ographique sentient agent est un membre de collection speaksLanguage sentient agent and langage memberCount collection and nombre r�el1 sentient agent2 est situ� � secteur g�ographique sentient agent2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
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