|
|
   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 2104-2104 | Il numero 2 argomenti di RotationFn è un istanza di Durata |
| (domain SpeedFn 2 TimeDuration) | Merge.kif 6658-6658 | Il numero 2 argomenti di SpeedFn è un istanza di Durata |
| (domain TimeIntervalListFn 2 TimeDuration) | Weather.kif 1957-1957 | Il numero 2 argomenti di TimeIntervalListFn è un istanza di Durata |
| (domain TimePeriodFn 2 TimeDuration) | Mid-level-ontology.kif 14037-14037 | Il numero 2 argomenti di TimePeriodFn è un istanza di Durata |
| (domain VelocityFn 2 TimeDuration) | Merge.kif 6669-6669 | Il numero 2 argomenti di VelocityFn è un istanza di Durata |
| (domain age 2 TimeDuration) | Merge.kif 7519-7519 | 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 1221-1221 | 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 862-862 | 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 7903-7903 | Il numero 2 argomenti di duration è un istanza di Durata |
| (domain frequency 2 TimeDuration) | Merge.kif 7912-7912 | 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 1875-1875 | Il numero 2 argomenti di measuringListDuration è un istanza di Durata |
| (domain measuringListInterval 2 TimeDuration) | Weather.kif 1857-1857 | Il numero 2 argomenti di measuringListInterval è un istanza di Durata |
| (domain militaryAge 2 TimeDuration) | Military.kif 838-838 | 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 16966-16966 | 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 6400-6404 |
|
| (=> (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 |
|
|
|