MinuteDuration - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MinuteDuration

MinuteDuration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2581-2581
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7101-7101
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1288-1288
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7100-7100	MinuteDuration est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7099-7099	MinuteDuration est une instance de UnitOfDuration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9374-9374	Minute est reli� � l'int�rieur de SUMO � MinuteDuration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37949-37949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37948-37948
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37947-37947

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	Processus est une instance de MeasuringBreathing processus est un agent de AutonomousAgent objet est une instance de Lung objet est une partie de objet interval temporel est une instance de interval temporel interval temporel prend place pendant temps d'existence de processus la dur�� de interval temporel est MinuteDuration objet est un patient de processus entit� AutonomousAgent conna�t breathingRate objet, interval temporel and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Interval temporel est une instance de TimePeriod la dur�� de interval temporel est nombre r�el MinuteDuration(s) nombre r�el est plus grand que 5.0 entit� est une instance de humain processus processus est une instance de respirer temps d'existence de processus prend place pendant interval temporel entit� est un patient de processus l'argument entit� entit� est une instance de mort entit� exp�rimente entit� interval temporel rencontre temps d'existence de entit� a la force modale de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2219-2236	Function de quantit� est Mean10MinutesWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 10 MinuteDuration(s) 120 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2324-2341	Function de quantit� est Mean1MinuteWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 1 MinuteDuration(s) 12 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2289-2306	Function de quantit� est Mean2MinutesWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 2 MinuteDuration(s) 24 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2254-2271	Function de quantit� est Mean3MinutesWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 2 MinuteDuration(s) 36 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2015-2019	Liste est Mean3SecondWindSpeedListFn secteur g�ographique and interval temporel la dur�� de interval temporel est 2 MinuteDuration(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2352-2386	Physique est une instance de AutomobileTransmission physique a pour but entit� entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de Crankshaft entit� est une instance de Driveshaft entit� est une instance de Automobile entit� est une partie de entit� physique est une partie de entit� entit� est une partie de entit� entit� est connect� � physique entit� est connect� � physique entit� est une instance de Rotating entit� est une instance de Rotating entit� est une instance de Rotating entit� est une instance de Rotating entit� est un patient de entit� entit� est un patient de entit� entit� est un patient de entit� entit� est un patient de entit� entit� cause entit� entit� cause entit� entit� est entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6162-6168	Physique est une instance de IVBolusTherapy la dur�� de temps d'existence de physique est nombre r�el MinuteDuration(s) nombre r�el est moins que 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9378-9380	Interval temporel est une instance de minute la dur�� de interval temporel est 1 MinuteDuration(s)

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7095-7097	Nombre r�el HourDuration(s) est nombre r�el + 60 MinuteDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7103-7105	Nombre r�el MinuteDuration(s) est nombre r�el + 60 SecondDuration(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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