duration - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2688-2690
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7927-7930
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1411-1413
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7924-7924	Le nombre 1 argument de duration est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7925-7925	Le nombre 2 argument de duration est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7922-7922	duration est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7923-7923	duration est une instance de relation total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 413-413
No TPTP formula. May not be expressible in strict first order.	english_format.kif 419-419
No TPTP formula. May not be expressible in strict first order.	french_format.kif 241-241
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 85-85
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2035-2035
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 193-193
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 119-119
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 246-246
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 536-536
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 125-125
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 262-262
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 185-185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20688-20688
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 414-414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20687-20687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20686-20686
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 186-186

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	ADHD est un attribut de AutonomousAgent ADHD est un attribut de AutonomousAgent AutonomousAgent est AutonomousAgent processus est une instance de classe processus est une instance de classe classe est une sous-classe de processus psycholoqique intentionnel processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent la dur�� de temps d'existence de processus est dur�e temporel la dur�� de temps d'existence de processus est dur�e temporel l'argument dur�e temporel est plus grand que dur�e temporel a la force modale de Likely
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.	FinancialOntology.kif 155-166	Processus est une instance de DrawingACheck entit� est un patient de processus processus est une instance de ProcessingACheck entit� est un patient de processus temps d'existence de processus est processusTime temps d'existence de processus est processusTime processusTime rencontre interval temporel interval temporel rencontre processusTime la dur�� de interval temporel est nombre r�el MonthDuration(s) nombre r�el est moins que 6
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1497-1502	Agreement est une instance de BankTermLoan agreementPeriod Agreement and interval temporel la dur�� de interval temporel est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 1
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.	Merge.kif 9485-9489	Interval temporel est une instance de mois la dur�� de interval temporel est nombre entier DayDuration(s) le nombre d' instances dans decomposition de interval temporel en jours est nombre entier
No TPTP formula. May not be expressible in strict first order.	Media.kif 611-617	Interval temporel est une instance de Passover la dur�� de interval temporel est nombre r�el DayDuration(s) nombre r�el est nombre r�el est &%�gal � 8
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2016-2029	Processus est une instance de SpeakingAtAFasterRate processus est une instance de SpeakingAtASlowerRate unit� de mesure est une instance de UnitOfDuration processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent processus contient information proposition processus contient information proposition la dur�� de temps d'existence de processus est nombre r�el unit� de mesure(s) la dur�� de temps d'existence de processus est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2104-2113	Physique est une instance de SpeakingAShortUtterance physique est une instance de SpeakingALongUtterance unit� de mesure est une instance de UnitOfDuration la dur�� de temps d'existence de physique est nombre r�el unit� de mesure(s) la dur�� de temps d'existence de physique est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14039-14045	Point temporel est une instance de point temporel point temporel est une instance de point temporel interval temporel est intervale entre point temporel et point temporel la dur�� de interval temporel est dur�e temporel interval temporel est TimePeriodFn point temporel and dur�e temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4064-4068	statementPeriod BankStatement and interval temporel la dur�� de interval temporel est dur�e temporel dur�e temporel est MonthDuration

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1971-1976	Interval temporel est un membre de ConsecutiveTimeIntervalList ConsecutiveTimeIntervalList est TimeIntervalListFn interval temporel and dur�e temporel la dur�� de interval temporel est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16446-16458	Processus est une instance de Insomnia agent cognitif exp�rimente processus processus dur�e temporel and dur�e temporel2 processus est une instance de Sleeping agent cognitif exp�rimente processus la dur�� de temps d'existence de processus est dur�e temporel agent cognitif desire la dur�� de temps d'existence de processus est dur�e temporel2 dur�e temporel2 est plus grand que dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9095-9100	Interval temporel est une instance de le moi F�vrier entit� est une instance de entit�EAR entit� est une instance de ann�e bissextile la dur�� de interval temporel est 29 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9088-9093	Interval temporel est une instance de le moi F�vrier entit� est une instance de entit�EAR entit� est une instance de ann�e bissextile la dur�� de interval temporel est 28 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7524-7528	Point temporel est une instance de point temporel l' physique est dur�e temporel pendant point temporel la dur�� de l'intervale entre le d�but de temps d'existence de physique et point temporel est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	Interval temporel est une instance de ann�e interval temporel est une instance de EasterSunday interval temporel est une instance de AscensionThursday interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel commence interval temporel interval temporel finit interval temporel la dur�� de interval temporel est 40 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	Interval temporel est une instance de ann�e interval temporel est une instance de EasterSunday interval temporel est une instance de PalmSunday interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel commence interval temporel interval temporel finit interval temporel la dur�� de interval temporel est 8 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	Interval temporel est une instance de ann�e interval temporel est une instance de EasterSunday interval temporel est une instance de Pentecost interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel commence interval temporel interval temporel finit interval temporel la dur�� de interval temporel est 50 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1856-1860	measuringListInterval MeasuringList and dur�e temporel physique est un membre de MeasuringList la dur�� de temps d'existence de physique est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 118-124	recordingLength Recording and dur�e temporel Recording est une instance de AudioRecording processus est une instance de Listening Recording est un patient de processus la dur�� de temps d'existence de processus est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice physique, function de quantit�, agent cognitif and PricingScheme function de quantit� est PerFn mesure de devise and la mesure de nombre r�el est unit� de mesure unit� de mesure est une instance de UnitOfDuration entit� est une instance imm�diate de physique processus est une instance de Renting entit� est un patient de processus processus est un agent de AutonomousAgent processus existe pendant nombre r�elINT interval temporel nombre r�el nombre r�elINT prend place pendant interval temporel interval temporel est une instance de interval temporel la dur�� de interval temporel est nombre r�el unit� de mesure(s) nombre r�el est plus petit ou �gal � nombre r�el financial transaction financial transaction est une instance de Payment financial transaction aboutit � agent cognitif financial transaction est un agent de AutonomousAgent transactionAmount financial transaction and mesure de devise
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1759-1763	responseTime UserRequest and dur�e temporel computerResponseTo ComputerResponse and UserRequest la dur�� de temps d'existence de ComputerResponse est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 660-670	startupTimeDelay programme d'ordinateur and dur�e temporel ComputerProcess est une instance de ComputerProcess programRunning ComputerProcess and programme d'ordinateur temps d'existence de ComputerProcess est interval temporel physique est une instance de ComputerProcess temps d'existence de physique est interval temporel interval temporel rencontre interval temporel interval temporel rencontre interval temporel la dur�� de interval temporel est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1044-1059	subjectiveAttribute AutonomousAgent, Quick and AutonomousAgent subjectiveAttribute AutonomousAgent, Slow and AutonomousAgent processus est une instance de classe processus est une instance de classe classe est une sous-classe de processus processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent unit� de mesure est une instance de UnitOfDuration la dur�� de temps d'existence de processus est nombre r�el unit� de mesure(s) la dur�� de temps d'existence de processus est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9405-9415	Decomposition de interval temporel en interval temporelTYPEs est interval temporel interval temporel interval temporel interval temporel est une instance de interval temporelTYPE interval temporel est une instance de interval temporel dur�e temporel la dur�� de interval temporel est dur�e temporel la dur�� de interval temporel est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3744-3746	Interval temporel est FiscalYearStartingFn AutonomousAgent and ann�e la dur�� de interval temporel est 1 YearDuration(s)
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.	QoSontology.kif 1270-1284	Interval temporel interval temporel dependencyDelay programme d'ordinateur and dur�e temporel dependencyType programme d'ordinateur and ShutdownBlock hasDependency programme d'ordinateur and programme d'ordinateur ComputerProcess est une instance de ComputerProcess programRunning ComputerProcess and programme d'ordinateur ComputerProcess est une instance de ComputerProcess programRunning ComputerProcess and programme d'ordinateur temps d'existence de ComputerProcess est interval temporel interval temporel finit interval temporel temps d'existence de ComputerProcess est interval temporel le d�but de interval temporel est fin de interval temporel la dur�� de interval temporel est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1254-1268	Interval temporel interval temporel dependencyDelay programme d'ordinateur and dur�e temporel dependencyType programme d'ordinateur and StartupBlock hasDependency programme d'ordinateur and programme d'ordinateur ComputerProcess est une instance de ComputerProcess programRunning ComputerProcess and programme d'ordinateur ComputerProcess est une instance de ComputerProcess programRunning ComputerProcess and programme d'ordinateur temps d'existence de ComputerProcess est interval temporel interval temporel commence interval temporel temps d'existence de ComputerProcess est interval temporel la fin de interval temporel est d�but de interval temporel la dur�� de interval temporel est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7939-7949	Processus se produit tous les dur�e temporel interval temporel la dur�� de interval temporel est dur�e temporel position temporel position temporel est une partie de interval temporel entit� entit� est une instance de processus pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8792-8794	Interval temporel est une instance de Decade la dur�� de interval temporel est 1 DecadeDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8796-8798	Interval temporel est une instance de Decade la dur�� de interval temporel est 10 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9258-9260	Interval temporel est une instance de jour la dur�� de interval temporel est 1 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1626-1638	Processus est une instance de FlashFlooding processus nombre r�el processus est une instance de WaterMotion processus cause processus temps d'existence de processus rencontre temps d'existence de processus la dur�� de temps d'existence de processus est nombre r�el HourDuration(s) nombre r�el est moins que 6.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3716-3718	Interval temporel est une instance de FiscalYearFn AutonomousAgent la dur�� de interval temporel est 1 YearDuration(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: