No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	Collection est une instance de collection nombre r�el est une instance de mesure de devise nombre entier est une instance de nombre r�el nombre r�el est GMVFn collection nombre entier est instances dans la classe d�crite par cha�ne sympbolique ASPFn collection est nombre r�el + nombre entier
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3102-3116	Position temporel est une instance de ElectricalTransformer WireCoil est une instance de WireCoil WireCoil est une instance de WireCoil coilCount WireCoil and nombre entier coilCount WireCoil and nombre entier la mesure de WireCoil est Volt nombre r�el(s) pendant position temporel la mesure de WireCoil est Volt nombre r�el(s) pendant position temporel nombre r�el est nombre r�el + nombre entier + nombre entier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	Collection est une instance de collection objet corpusculaire est une instance de HypertextLink physique physique est un membre de collection physique est une instance de AccessingWebPage collection est un composant de objet corpusculaire collection collection est une instance de collection processus processus est une instance de RequestingHyperlink objet corpusculaire est un patient de processus processus est un membre de collection ClickThroughRateFn collection and objet corpusculaire est instances dans collection + le nombre d' instances dans collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	Collection est une instance de collection collection est une instance de collection collection est une sous-collection appartenant � collection physique physique est un membre de collection physique est une instance de AccessingWebPage processus AutonomousAgent, processus, processus and objet AutonomousAgent est une instance de humain processus est une instance de acheter processus est une instance de AccessingWebPage objet est une instance de WebPage processus est un membre de collection processus aboutit � objet processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant temps d'existence de processus objet est un instrument pour processus processus est un membre de collection interval temporel entit�_IN_INTERVAL and entit�_IN_INTERVAL SCRFn collection and interval temporel est instances dans la classe d�crite par entit�_IN_INTERVAL + le nombre d' instances dans la classe d�crite par entit�_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	La mesure de objet est nombre r�el Lumen(s) la mesure de objet est nombre r�el Lumen(s) objet est une partie de objet objet est une partie de objet objet est objet nombre r�el est plus grand que nombre r�el nombre r�el + nombre r�el est nombre r�el contrastRatio objet and nombre r�el objet objet, nombre r�el and nombre r�el la mesure de objet est nombre r�el Lumen(s) la mesure de objet est nombre r�el Lumen(s) objet est une partie de objet objet est une partie de objet objet est objet nombre r�el est plus grand que nombre r�el nombre r�el + nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2229-2239	AutonomousAgent poss�de objet la mesure de objet est nombre r�el ShareUnit(s) splitFor StockSplit, nombre entier and nombre entier entit� est nombre r�el + nombre entier entit� est entit� + nombre entier la mesure de objet est entit� ShareUnit(s) pendant immediatement apr�s temps d'existence de StockSplit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17928-17953	relativeAngle objet, objet and nombre r�el physicalEnd objet and objet physicalEnd objet and objet objet est objet le longueur de objet est nombre r�el1 unit� de mesure(s) le longueur de objet est nombre r�el2 unit� de mesure(s) la distance entre objet et objet est nombre r�el3 unit� de mesure(s) physicalEnd objet and objet physicalEnd objet and objet objet est objet objet ne rencontre %n{pas} objet nombre r�el est ArcCosineFn (( nombre r�el3 + nombre r�el3 + nombre r�el1 + nombre r�el1) + nombre r�el2 + nombre r�el2) + 2.0 + nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29835-29841	approximateValue nombre r�el and nombre r�el l'argument 0.9 est plus grand que nombre r�el + nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29843-29849	approximateValue nombre r�el and nombre r�el l'argument 0.9 est plus grand que nombre r�el + nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8061-8074	PerCapitaFn nombre r�el unit� de mesure(s) and secteur g�opolitique est nombre r�el unit� de mesure(s) nombre entier nombre entier est instances dans ResidentFn secteur g�opolitique nombre r�el est nombre r�el + nombre entier
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3929-3937	Function de quantit� est nombre r�el NauticalMile(s) par nombre r�el HourDuration(s) function de quantit� est nombre r�el + nombre r�el KnotUnitOfSpeed(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5239-5245	Nombre r�el est une instance de nombre r�el la tangente de nombre r�el est sinus de nombre r�el + le cosinus de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19634-19641	Entit� a un attribute ChemicalEquilibrium nombre r�el position temporel, nombre r�el and nombre r�el nombre r�el est une resource pour entit� pendant position temporel nombre r�el est le resultat de entit� pendant position temporel nombre r�el est nombre r�el + nombre r�el

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