| 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 6351-6354 | |
| (documentation UnitOfDuration JapaneseLanguage "この Class のすべてのインスタンスは UnitOfMeasure で、MeasureFn と共に TimeDuration のインスタンスを形成するのに使用できる。 注：TimeDuration は TimeMeasure の subclass である。") | japanese_format.kif 1122-1124 | |
| (subclass UnitOfDuration NonCompositeUnitOfMeasure) | Merge.kif 6349-6349 |
| appearance as argument number 2 |
|
|
| (instance CenturyDuration UnitOfDuration) | Mid-level-ontology.kif 20649-20649 | |
| (instance DayDuration UnitOfDuration) | Merge.kif 7093-7093 | |
| (instance DecadeDuration UnitOfDuration) | Merge.kif 8853-8853 | |
| (instance HourDuration UnitOfDuration) | Merge.kif 7101-7101 | |
| (instance MillenniumDuration UnitOfDuration) | Mid-level-ontology.kif 15069-15069 | |
| (instance MinuteDuration UnitOfDuration) | Merge.kif 7109-7109 | |
| (instance MonthDuration UnitOfDuration) | Merge.kif 7126-7126 | |
| (instance SecondDuration UnitOfDuration) | Merge.kif 6718-6718 | |
| (instance WeekDuration UnitOfDuration) | Merge.kif 7117-7117 | |
| (instance YearDuration UnitOfDuration) | Merge.kif 7144-7144 | |
| (termFormat EnglishLanguage UnitOfDuration "unit of duration") | domainEnglishFormat.kif 65678-65678 |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfDuration)) (instance ?QUANT TimeDuration)) |
Merge.kif 6410-6414 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 1858-1876 |
| 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 |
|
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