TreeView Knowledge Base Browser - MinuteDuration

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 7102-7102
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 7101-7101	MinuteDuration est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7100-7100	MinuteDuration est une instance de UnitOfDuration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9388-9388	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 2206-2223	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 2311-2328	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 2276-2293	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 2241-2258	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 2002-2006	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 2329-2363	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 9392-9394	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 7096-7098	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 7104-7106	Nombre r�el MinuteDuration(s) est nombre r�el + 60 SecondDuration(s)

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

Show without tree

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