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.	FinancialOntology.kif 1348-1351	FinancialAccount est une instance de SecuredLoan Collateral securedBy FinancialAccount and Collateral
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.	Transportation.kif 411-413	Entit� est une instance de BroadGaugeRailway entit� a un attribute BroadGauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 469-471	Entit� est une instance de DualGaugeRailway entit� a un attribute DualGauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 460-462	Entit� est une instance de NarrowGaugeRailway entit� a un attribute NarrowGauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 443-445	Entit� est une instance de StandardGaugeRailway entit� a un attribute StandardGauge
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8326-8328	Secteur g�opolitique est une instance de Etat ou province le gouvernment de secteur g�opolitique est une instance de StateGovernment
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.	engineering.kif 155-157	Entit� est une instance de DifferentialEquation entit� est une instance de AttrFn Equation and DifferentialAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23252-23258	R�le d�pendant du cas processus and objet r�le d�pendant du cas est une instance de r�le d�pendant du cas processus est une instance de processus objet est une instance de objet playsRoleInEvent objet, r�le d�pendant du cas and processus
No TPTP formula. May not be expressible in strict first order.	Media.kif 3165-3169	abbreviatedDisplayTitle cha�ne sympbolique, entit�-TYPE and langage entit� est une instance de entit�-TYPE abbreviation cha�ne sympbolique and entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	actedIn humain and ContentBearingPhysical processus est une instance de DramaticActing humain est un patient de processus ContentBearingPhysical est le resultat de processus Actor est un attribut de humain pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	Processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est une instance de objet d'art Artist est un attribut de AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	agreementEffectiveDate Agreement and point temporel Agreement oblige agent cognitif � ex�cut� des t�ches du type formule position temporel est une instance de point temporel agent cognitif est oblig� d'ex�cut� des t�ches du type formule pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 721-726	agreementEffectiveDate Agreement and point temporel Agreement autorise agent cognitif � ex�cut� des t�ches du type formule position temporel est une instance de point temporel agent cognitif a le droit d'executer formule pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 766-772	agreementEffectiveDuring proposition and position temporel position temporel est une instance de position temporel formule est une instance de formule formule contient information proposition formule pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	albumCoverImage Album and Image objet est une instance de AlbumCopiesFn Album and DataStorageDevice objet en une partie contient objet l'argument Image est une partie de le devant de objet en une partie a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	allergic humain and substance substanceUB est une instance de substance substanceUB rencontre humain pendant position temporel l'argument entit� entit� est une instance de AllergicReaction humain exp�rimente entit� temps d'existence de entit� recouvre position temporel le d�but de position temporel se produit avant le d�but de temps d'existence de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount substance, objet corpusculaire and nombre r�el UnitOfMass(s) substanceI est une instance de substance la mesure de substanceI est nombre r�el2 UnitOfMass(s) substanceI est une partie de objet corpusculaire liste nombre r�el2 UnitOfMass(s) est un membre de liste liste est AmountsFn substance, objet corpusculaire and UnitOfMass nombre r�el est ListSumFn liste
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