TreeView 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 6342-6345
(documentation UnitOfDuration JapaneseLanguage "この Class のすべてのインスタンスは UnitOfMeasure で、MeasureFn と共に TimeDuration のインスタンスを形成するのに使用できる。注：TimeDuration は TimeMeasure の subclass である。")	japanese_format.kif 1122-1124
(subclass UnitOfDuration NonCompositeUnitOfMeasure)	Merge.kif 6340-6340	UnitOfDuration ist eine teilkategorie von NonCompositeUnitOfMeasure

appearance as argument number 2

(instance CenturyDuration UnitOfDuration)	Mid-level-ontology.kif 19088-19088	CenturyDuration ist ein fall von UnitOfDuration %n{nicht}
(instance DayDuration UnitOfDuration)	Merge.kif 7084-7084	DayDuration ist ein fall von UnitOfDuration %n{nicht}
(instance DecadeDuration UnitOfDuration)	Merge.kif 8791-8791	DecadeDuration ist ein fall von UnitOfDuration %n{nicht}
(instance HourDuration UnitOfDuration)	Merge.kif 7092-7092	HourDuration ist ein fall von UnitOfDuration %n{nicht}
(instance MillenniumDuration UnitOfDuration)	Mid-level-ontology.kif 13707-13707	MillenniumDuration ist ein fall von UnitOfDuration %n{nicht}
(instance MinuteDuration UnitOfDuration)	Merge.kif 7100-7100	MinuteDuration ist ein fall von UnitOfDuration %n{nicht}
(instance MonthDuration UnitOfDuration)	Merge.kif 7117-7117	MonthDuration ist ein fall von UnitOfDuration %n{nicht}
(instance SecondDuration UnitOfDuration)	Merge.kif 6709-6709	SecondDuration ist ein fall von UnitOfDuration %n{nicht}
(instance WeekDuration UnitOfDuration)	Merge.kif 7108-7108	WeekDuration ist ein fall von UnitOfDuration %n{nicht}
(instance YearDuration UnitOfDuration)	Merge.kif 7135-7135	YearDuration ist ein fall von UnitOfDuration %n{nicht}
(termFormat EnglishLanguage UnitOfDuration "unit of duration")	domainEnglishFormat.kif 65657-65657

antecedent

(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfDuration)) (instance ?QUANT TimeDuration))	Merge.kif 6401-6405	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 2102-2111	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 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

KB Term:			Term intersection

English Word: