|
|
   TimeDuration
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TimeDuration ChineseLanguage "这是任何量度时间的衡量，它可以是是基于通用时间轴的， 也可以是不基于通用时间轴的的。") | chinese_format.kif 1781-1782 | |
| (documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") | Merge.kif 2075-2076 | |
| (documentation TimeDuration JapaneseLanguage "ユニバーサル タイムラインに関する有無にかかわ らない、時間の長さの任意の尺度。") | japanese_format.kif 394-395 | |
| (subclass TimeDuration TimeMeasure) | Merge.kif 2073-2073 | Durata è una sottoclasse di MisuraTemporale |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain AccelerationFn 2 TimeDuration) | Cars.kif 1275-1275 | Il numero 2 argomenti di AccelerationFn è un istanza di Durata |
| (domain RotationFn 2 TimeDuration) | Cars.kif 2087-2087 | Il numero 2 argomenti di RotationFn è un istanza di Durata |
| (domain SpeedFn 2 TimeDuration) | Merge.kif 6659-6659 | Il numero 2 argomenti di SpeedFn è un istanza di Durata |
| (domain TimeIntervalListFn 2 TimeDuration) | Weather.kif 1940-1940 | Il numero 2 argomenti di TimeIntervalListFn è un istanza di Durata |
| (domain TimePeriodFn 2 TimeDuration) | Mid-level-ontology.kif 14064-14064 | Il numero 2 argomenti di TimePeriodFn è un istanza di Durata |
| (domain VelocityFn 2 TimeDuration) | Merge.kif 6670-6670 | Il numero 2 argomenti di VelocityFn è un istanza di Durata |
| (domain age 2 TimeDuration) | Merge.kif 7520-7520 | Il numero 2 argomenti di age è un istanza di Durata |
| (domain ageOfMajorityForProcess 1 TimeDuration) | Law.kif 543-543 | Il numero 1 argomenti di ageOfMajorityForProcess è un istanza di Durata |
| (domain albumLength 2 TimeDuration) | Music.kif 330-330 | Il numero 2 argomenti di albumLength è un istanza di Durata |
| (domain averagePrecipitationForPeriod 2 TimeDuration) | Weather.kif 1205-1205 | Il numero 2 argomenti di averagePrecipitationForPeriod è un istanza di Durata |
| (domain batchInterArrival 2 TimeDuration) | QoSontology.kif 1187-1187 | Il numero 2 argomenti di batchInterArrival è un istanza di Durata |
| (domain batchLatency 2 TimeDuration) | QoSontology.kif 1181-1181 | Il numero 2 argomenti di batchLatency è un istanza di Durata |
| (domain collectRate 2 TimeDuration) | QoSontology.kif 2148-2148 | Il numero 2 argomenti di collectRate è un istanza di Durata |
| (domain daylightHoursTotal 3 TimeDuration) | Weather.kif 846-846 | Il numero 3 argomenti di daylightHoursTotal è un istanza di Durata |
| (domain dependencyDelay 2 TimeDuration) | QoSontology.kif 1245-1245 | Il numero 2 argomenti di dependencyDelay è un istanza di Durata |
| (domain diseaseIncubation 2 TimeDuration) | WMD.kif 1531-1531 | Il numero 2 argomenti di diseaseIncubation è un istanza di Durata |
| (domain diseaseIncubation 3 TimeDuration) | WMD.kif 1532-1532 | Il numero 3 argomenti di diseaseIncubation è un istanza di Durata |
| (domain duration 2 TimeDuration) | Merge.kif 7939-7939 | Il numero 2 argomenti di duration è un istanza di Durata |
| (domain frequency 2 TimeDuration) | Merge.kif 7948-7948 | Il numero 2 argomenti di frequency è un istanza di Durata |
| (domain granularity 2 TimeDuration) | QoSontology.kif 1504-1504 | Il numero 2 argomenti di granularity è un istanza di Durata |
| (domain measuringListDuration 2 TimeDuration) | Weather.kif 1858-1858 | Il numero 2 argomenti di measuringListDuration è un istanza di Durata |
| (domain measuringListInterval 2 TimeDuration) | Weather.kif 1840-1840 | Il numero 2 argomenti di measuringListInterval è un istanza di Durata |
| (domain militaryAge 2 TimeDuration) | Military.kif 829-829 | Il numero 2 argomenti di militaryAge è un istanza di Durata |
| (domain minimumPayment 3 TimeDuration) | FinancialOntology.kif 755-755 | Il numero 3 argomenti di minimumPayment è un istanza di Durata |
| (domain monetaryWage 3 TimeDuration) | Mid-level-ontology.kif 16993-16993 | Il numero 3 argomenti di monetaryWage è un istanza di Durata |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfDuration)) (instance ?QUANT TimeDuration)) |
Merge.kif 6401-6405 |
|
| (=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?DURATION ?CURR) (and (instance ?CURR CurrencyMeasure) (instance ?DURATION TimeDuration) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 505-511 | |
| (=> (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (exists (?DURATION ?CURR) (and (instance ?DURATION TimeDuration) (instance ?CURR CurrencyMeasure) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 459-465 |
|
|
|