No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	currentAccountBalance FinancialAccount, jour and nombre r�el UnitedStatesDollar(s) nombre r�el est moins que 0 nombre r�el est nombre r�el) overdraft FinancialAccount, nombre r�el UnitedStatesDollar(s) and jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13535-13544	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13546-13557	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY entit�(s) est plus grand que nombre r�el unit� de mesure(s) a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13485-13496	defaultMaximumSphereRadius objet and nombre r�el unit� de mesure(s) objet est une instance de objet Sphere est un attribut de objet l'argument nombre r�elADIUS sphereRadius objet and nombre r�elADIUS unit� de mesure(s) nombre r�elADIUS est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13565-13574	defaultMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est plus grand que nombre r�el + 1.5 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13576-13585	defaultMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est moins que nombre r�el + .5 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13504-13513	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13515-13526	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13466-13476	defaultMinimumSphereRadius objet and nombre r�el unit� de mesure(s) objet est une instance de objet Sphere est un attribut de objet l'argument nombre r�elADIUS sphereRadius objet and nombre r�elADIUS unit� de mesure(s) nombre r�elADIUS est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 818-828	downPayment Loan and nombre r�el unit� de mesure(s) loanForPurchase Loan and objet valeur de objet est nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) originalBalance Loan and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1922-1930	elevation objet en une partie and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength objet en une partie est une instance de LandForm objet en une partie le dessus de objet en une partie est objet en une partie la distance entre objet en une partie et SeaLevel est nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1834-1841	NumberList est PhysicalQuantityToNumberFn MeasuringResultList quantit� physique est entit� MeasuringResultList nombre r�el est entit� NumberList nombre r�el unit� de mesure(s) est quantit� physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2001-2013	Liste est Mean3SecondWindSpeedListFn secteur g�ographique and interval temporel function de quantit� est un membre de liste interval temporelLIST interval temporel interval temporelLIST est TimeIntervalListFn interval temporel and 3 SecondDuration(s) interval temporel est un membre de interval temporelLIST function de quantit� est Mean3SecondWindSpeedFn secteur g�ographique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus aboutit � agent cognitif objet est une instance de physique AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent objet est une instance de processus objet est un agent de agent cognitif agent cognitif exp�rimente objet AutonomousAgent poss�de objet objet est une instance de objet agent cognitif utilise objet price objet, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and physique processus est une instance de physique customer agent cognitif and AutonomousAgent processus est une instance de processus processus est un agent de agent cognitif agent cognitif exp�rimente processus AutonomousAgent poss�de processus processus est une instance de objet agent cognitif utilise processus price processus, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and physique physique est une sous-classe de objet TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent objet est une instance de physique objet est situ� � TemporaryResidence processus est une instance de processus processus est un agent de humain objet est un patient de processus objet est un instrument pour processus objet est une resource pour processus price objet, 0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and physique physique est une sous-classe de processus TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent humain est un patient de processus processus est une instance de physique processus est une instance de physique processus est un sous-processus de processus processus est situ� � TemporaryResidence price processus, 0.0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6165-6176	graphMeasure graph and unit� de mesure �lement du graph est une instance de noeud du graph �lement du graph est une partie de graph arc du graph est une partie de graph arc du graph est une instance de arc du graph abstractCounterpart �lement du graph and physique abstractCounterpart arc du graph and physique la valeur de arc du graph est nombre r�el la mesure de physique est nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5918-5925	Entit� est un attribut de entit� pendant interval temporel entit� est une instance de ChronicDisease la dur�� de interval temporel est nombre r�el nombre r�el est plus grand que 3 MonthDuration(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	Objet est une instance imm�diate de classe physique est une instance imm�diate de classe Oversized est un attribut de objet objetSIZE physiqueSIZE and unit� de mesure unit� de mesure est une instance de unit� de mesure la mesure de objet est objetSIZE unit� de mesure(s) la mesure de physique est physiqueSIZE unit� de mesure(s) objetSIZE est plus grand que physiqueSIZE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25710-25725	Objet est une instance imm�diate de classe objet est une instance imm�diate de classe ColdTemperature est un attribut de objet HotTemperature est un attribut de objet nombre r�el nombre r�el and unit� de mesure la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfTemperature nombre r�el est une instance de mesure de temperature la mesure de objet est nombre r�el unit� de mesure(s) nombre r�el est une instance de mesure de temperature nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3331-3341	incomeEarned humain, nombre r�el unit� de mesure(s) and processus organisationnel amountCharged ChargingAFee and ChargingAFeeAmount unit� de mesure(s) processus organisationnel cause ChargingAFee nombre r�el est nombre r�el + ChargingAFeeAmount) afterTaxIncome humain, nombre r�el unit� de mesure(s) and processus organisationnel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1063-1073	Attribut est une instance de CoffeeGrindAttribute attribut est un attribut de objet objet est une instance de CoffeeGrind nombre r�el quantit� physique grainSize objet and nombre r�el quantit� physique est une instance de mesure de longueur quantit� physique est nombre r�el Millimeter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17142-17163	Processus est une instance de Accelerating processus est un agent de AutonomousAgent nombre r�el nombre r�el, nombre r�el, nombre r�el, entit� and entit� la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant le d�but de temps d'existence de processus la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant la fin de temps d'existence de processus nombre r�el est plus grand que nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	Objet est une instance de Airport LongRunwayAirport est un attribut de objet objet nombre r�el objet est une instance de Runway objet est une partie de objet le longueur de objet est nombre r�el Meter(s) nombre r�el est plus grand ou �gal � 2438 nombre r�el est plus petit ou �gal � 3047
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