UnitOfDuration - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UnitOfDuration ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 TimeDuration 实例的 UnitOfMeasure。注： TimeDuration 是 TimeMeasure 的一个 subclass。")	chinese_format.kif 2431-2433
(documentation UnitOfDuration EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of TimeDuration. Note that TimeDuration is a subclass of TimeMeasure.")	Merge.kif 6341-6344
(documentation UnitOfDuration JapaneseLanguage "この Class のすべてのインスタンスは UnitOfMeasure で、MeasureFn と共に TimeDuration のインスタンスを形成するのに使用できる。注：TimeDuration は TimeMeasure の subclass である。")	japanese_format.kif 1122-1124
(subclass UnitOfDuration NonCompositeUnitOfMeasure)	Merge.kif 6339-6339	UnitOfDuration ist eine teilkategorie von NonCompositeUnitOfMeasure

appearance as argument number 2

(instance CenturyDuration UnitOfDuration)	Mid-level-ontology.kif 19061-19061	CenturyDuration ist ein fall von UnitOfDuration %n{nicht}
(instance DayDuration UnitOfDuration)	Merge.kif 7083-7083	DayDuration ist ein fall von UnitOfDuration %n{nicht}
(instance DecadeDuration UnitOfDuration)	Merge.kif 8755-8755	DecadeDuration ist ein fall von UnitOfDuration %n{nicht}
(instance HourDuration UnitOfDuration)	Merge.kif 7091-7091	HourDuration ist ein fall von UnitOfDuration %n{nicht}
(instance MillenniumDuration UnitOfDuration)	Mid-level-ontology.kif 13680-13680	MillenniumDuration ist ein fall von UnitOfDuration %n{nicht}
(instance MinuteDuration UnitOfDuration)	Merge.kif 7099-7099	MinuteDuration ist ein fall von UnitOfDuration %n{nicht}
(instance MonthDuration UnitOfDuration)	Merge.kif 7116-7116	MonthDuration ist ein fall von UnitOfDuration %n{nicht}
(instance SecondDuration UnitOfDuration)	Merge.kif 6708-6708	SecondDuration ist ein fall von UnitOfDuration %n{nicht}
(instance WeekDuration UnitOfDuration)	Merge.kif 7107-7107	WeekDuration ist ein fall von UnitOfDuration %n{nicht}
(instance YearDuration UnitOfDuration)	Merge.kif 7134-7134	YearDuration ist ein fall von UnitOfDuration %n{nicht}
(termFormat EnglishLanguage UnitOfDuration "unit of duration")	domainEnglishFormat.kif 65655-65655

antecedent

(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfDuration)) (instance ?QUANT TimeDuration))	Merge.kif 6400-6404	Wenn RealNumber UnitOfMeasure(s) ist gleich PhysicalQuantity %n{nicht} und UnitOfMeasure ist ein fall von UnitOfDuration %n{nicht}, dann PhysicalQuantity ist ein fall von TimeDuration %n{nicht}
(=> (and (instance ?SF SpeakingAtAFasterRate) (instance ?SS SpeakingAtASlowerRate) (instance ?U UnitOfDuration) (agent ?SF ?A) (agent ?SS ?A) (containsInformation ?SF ?I) (containsInformation ?SS ?I) (duration (WhenFn ?SF) (MeasureFn ?FAST ?U)) (duration (WhenFn ?SS) (MeasureFn ?SLOW ?U))) (greaterThan ?FAST ?SLOW))	emotion.kif 2016-2029	Wenn Process ist ein fall von SpeakingAtAFasterRate %n{nicht} und Process ist ein fall von SpeakingAtASlowerRate %n{nicht} und UnitOfMeasure ist ein fall von UnitOfDuration %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process enthaelt Informationen ueber Proposition und Process enthaelt Informationen ueber Proposition und dauer von die zeit des Bestehens von Process ist RealNumber UnitOfMeasure(s) %n{nicht} und dauer von die zeit des Bestehens von Process ist RealNumber UnitOfMeasure(s) %n{nicht}, dann RealNumber ist groesserAls RealNumber %n{nicht}
(=> (and (instance ?SS SpeakingAShortUtterance) (instance ?SL SpeakingALongUtterance) (instance ?U UnitOfDuration) (duration (WhenFn ?SS) (MeasureFn ?D1 ?U)) (duration (WhenFn ?SL) (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1))	emotion.kif 2104-2113	Wenn Physical ist ein fall von SpeakingAShortUtterance %n{nicht} und Physical ist ein fall von SpeakingALongUtterance %n{nicht} und UnitOfMeasure ist ein fall von UnitOfDuration %n{nicht} und dauer von die zeit des Bestehens von Physical ist RealNumber UnitOfMeasure(s) %n{nicht} und dauer von die zeit des Bestehens von Physical ist RealNumber UnitOfMeasure(s) %n{nicht}, dann RealNumber ist groesserAls RealNumber %n{nicht}
(=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE (measure ?TIME ?U))) (instance ?U UnitOfDuration) (immediateInstance ?ITEM ?OBJ) (instance ?R Renting) (patient ?R ?ITEM) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (exists (?DURATION) (and (during ?TIMEINT ?X) (instance ?X TimeInterval) (duration ?X (MeasureFn ?DURATION ?U)) (lessThanOrEqualTo ?DURATION ?TIME))) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE))))))	Catalog.kif 467-492	Wenn rentalPrice Physical, FunctionQuantity, CognitiveAgent and PricingScheme und FunctionQuantity ist gleich PerFn CurrencyMeasure and das mass von RealNumber ist UnitOfMeasure %n{nicht} %n{nicht} und UnitOfMeasure ist ein fall von UnitOfDuration %n{nicht} und Entity ist ein direkter fall von Physical und Process ist ein fall von Renting %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process besteht waehrend RealNumberINT %n{nicht}, dann fuer alle TimeInterval wenn es gibt RealNumber um RealNumberINT geschieht waehrend TimeInterval %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht} und dauer von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht} und RealNumber ist kleinerAlsOderGleich RealNumber %n{nicht}, dann es gibt FinancialTransaction um FinancialTransaction ist ein fall von Payment %n{nicht} und FinancialTransaction endet an CognitiveAgent %n{nicht} und FinancialTransaction ist der agent von AutonomousAgent %n{nicht} und transactionAmount FinancialTransaction and ** CurrencyMeasure
(=> (and (topSpeed ?V (MeasureFn ?Q ?CU)) (instance ?CU CompositeUnitOfMeasure) (instance ?UL UnitOfLength) (instance ?UD UnitOfDuration) (equal ?FASTPROB (ProbabilityFn (measure ?V (SpeedFn (MeasureFn ?L1 ?UL) (MeasureFn ?T1 ?UD))))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (SpeedFn (MeasureFn ?L2 ?UL) (MeasureFn ?T2 ?UD))))) (greaterThan (SpeedFn ?L1 ?T1) ?Q) (greaterThan ?Q (SpeedFn ?L2 ?T2))) (greaterThan ?SLOWPROB ?FASTPROB))	Transportation.kif 1718-1736	Wenn topSpeed Vehicle and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von CompositeUnitOfMeasure %n{nicht} und Entity ist ein fall von UnitOfLength %n{nicht} und Entity ist ein fall von UnitOfDuration %n{nicht} und RealNumber ist gleich die wahrscheinlichkeit von das mass von Vehicle ist LengthMeasure Entity(s) pro &2 %n{nicht} %n{nicht} und RealNumber ist gleich die wahrscheinlichkeit von das mass von Vehicle ist LengthMeasure Entity(s) pro &2 %n{nicht} %n{nicht} und LengthMeasure pro &2 ist groesserAls RealNumber %n{nicht} und RealNumber ist groesserAls LengthMeasure pro &2 %n{nicht}, dann RealNumber ist groesserAls RealNumber %n{nicht}

consequent

(=>
    (and
        (subjectiveAttribute ?AGENT1 Quick ?PERSON)
        (subjectiveAttribute ?AGENT2 Slow ?PERSON)
        (instance ?PROCESS1 ?CLASS)
        (instance ?PROCESS2 ?CLASS)
        (subclass ?CLASS Process)
        (agent ?PROCESS1 ?AGENT1)
        (agent ?PROCESS2 ?AGENT2))
    (and
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?PROCESS1)
            (MeasureFn ?TIME1 ?U))
        (duration
            (WhenFn ?PROCESS2)
            (MeasureFn ?TIME2 ?U))
        (greaterThan ?TIME2 ?TIME1)))

Dining.kif 1044-1059

Wenn subjectiveAttribute AutonomousAgent, Quick and ** AutonomousAgent und subjectiveAttribute ** AutonomousAgent, Slow and ** ** AutonomousAgent und Process ist ein fall von Class %n{nicht} und ** Process ist ein fall von ** Class %n{nicht} und ** Class ist eine teilkategorie von Process und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht},
dann UnitOfMeasure ist ein fall von UnitOfDuration %n{nicht} und dauer von die zeit des Bestehens von ** Process ist RealNumber ** UnitOfMeasure(s) %n{nicht} und dauer von die zeit des Bestehens von ** ** Process ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** ** RealNumber ist groesserAls ** RealNumber %n{nicht}

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: