| TimeDuration(dur�e temporel) | |
| 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 2062-2063 | |
| (documentation TimeDuration JapaneseLanguage "ユニバーサル タイムラインに関する有無にかかわ らない、時間の長さの任意の尺度。") | japanese_format.kif 394-395 | |
| (subclass TimeDuration TimeMeasure) | Merge.kif 2060-2060 | Dur�e temporel est une sous-classe de mesure temporel |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain AccelerationFn 2 TimeDuration) | Cars.kif 1275-1275 | Le nombre 2 argument de AccelerationFn est une instance de dur�e temporel |
| (domain RotationFn 2 TimeDuration) | Cars.kif 2104-2104 | Le nombre 2 argument de RotationFn est une instance de dur�e temporel |
| (domain SpeedFn 2 TimeDuration) | Merge.kif 6644-6644 | Le nombre 2 argument de SpeedFn est une instance de dur�e temporel |
| (domain TimeIntervalListFn 2 TimeDuration) | Weather.kif 1957-1957 | Le nombre 2 argument de TimeIntervalListFn est une instance de dur�e temporel |
| (domain TimePeriodFn 2 TimeDuration) | Mid-level-ontology.kif 13972-13972 | Le nombre 2 argument de TimePeriodFn est une instance de dur�e temporel |
| (domain VelocityFn 2 TimeDuration) | Merge.kif 6655-6655 | Le nombre 2 argument de VelocityFn est une instance de dur�e temporel |
| (domain age 2 TimeDuration) | Merge.kif 7505-7505 | Le nombre 2 argument de age est une instance de dur�e temporel |
| (domain ageOfMajorityForProcess 1 TimeDuration) | Law.kif 566-566 | Le nombre 1 argument de ageOfMajorityForProcess est une instance de dur�e temporel |
| (domain albumLength 2 TimeDuration) | Music.kif 330-330 | Le nombre 2 argument de albumLength est une instance de dur�e temporel |
| (domain averagePrecipitationForPeriod 2 TimeDuration) | Weather.kif 1221-1221 | Le nombre 2 argument de averagePrecipitationForPeriod est une instance de dur�e temporel |
| (domain batchInterArrival 2 TimeDuration) | QoSontology.kif 1187-1187 | Le nombre 2 argument de batchInterArrival est une instance de dur�e temporel |
| (domain batchLatency 2 TimeDuration) | QoSontology.kif 1181-1181 | Le nombre 2 argument de batchLatency est une instance de dur�e temporel |
| (domain collectRate 2 TimeDuration) | QoSontology.kif 2148-2148 | Le nombre 2 argument de collectRate est une instance de dur�e temporel |
| (domain daylightHoursTotal 3 TimeDuration) | Weather.kif 862-862 | Le nombre 3 argument de daylightHoursTotal est une instance de dur�e temporel |
| (domain dependencyDelay 2 TimeDuration) | QoSontology.kif 1245-1245 | Le nombre 2 argument de dependencyDelay est une instance de dur�e temporel |
| (domain diseaseIncubation 2 TimeDuration) | WMD.kif 1531-1531 | Le nombre 2 argument de diseaseIncubation est une instance de dur�e temporel |
| (domain diseaseIncubation 3 TimeDuration) | WMD.kif 1532-1532 | Le nombre 3 argument de diseaseIncubation est une instance de dur�e temporel |
| (domain duration 2 TimeDuration) | Merge.kif 7889-7889 | Le nombre 2 argument de duration est une instance de dur�e temporel |
| (domain frequency 2 TimeDuration) | Merge.kif 7898-7898 | Le nombre 2 argument de frequency est une instance de dur�e temporel |
| (domain granularity 2 TimeDuration) | QoSontology.kif 1504-1504 | Le nombre 2 argument de granularity est une instance de dur�e temporel |
| (domain measuringListDuration 2 TimeDuration) | Weather.kif 1875-1875 | Le nombre 2 argument de measuringListDuration est une instance de dur�e temporel |
| (domain measuringListInterval 2 TimeDuration) | Weather.kif 1857-1857 | Le nombre 2 argument de measuringListInterval est une instance de dur�e temporel |
| (domain militaryAge 2 TimeDuration) | Military.kif 838-838 | Le nombre 2 argument de militaryAge est une instance de dur�e temporel |
| (domain minimumPayment 3 TimeDuration) | FinancialOntology.kif 755-755 | Le nombre 3 argument de minimumPayment est une instance de dur�e temporel |
| (domain monetaryWage 3 TimeDuration) | Mid-level-ontology.kif 16901-16901 | Le nombre 3 argument de monetaryWage est une instance de dur�e temporel |
| 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 6386-6390 |
|
| (=> (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 |
|
|
|