| s__domain(s__AccelerationFn__m,n__2,s__TimeDuration)
|
Cars.kif 1289-1289 |
The number 2 argument of AccelerationFn is an instance of time duration |
| s__domain(s__RotationFn__m,n__2,s__TimeDuration)
|
Cars.kif 2118-2118 |
The number 2 argument of RotationFn is an instance of time duration |
| s__domain(s__SpeedFn__m,n__2,s__TimeDuration)
|
Merge.kif 6415-6415 |
The number 2 argument of speed is an instance of time duration |
| s__domain(s__TimeIntervalListFn__m,n__2,s__TimeDuration)
|
Weather.kif 1956-1956 |
The number 2 argument of time interval list is an instance of time duration |
| s__domain(s__TimePeriodFn__m,n__2,s__TimeDuration)
|
Mid-level-ontology.kif 12278-12278 |
The number 2 argument of time period function is an instance of time duration |
| s__domain(s__VelocityFn__m,n__2,s__TimeDuration)
|
Merge.kif 6426-6426 |
The number 2 argument of velocity is an instance of time duration |
| s__domain(s__age__m,n__2,s__TimeDuration)
|
Merge.kif 7272-7272 |
The number 2 argument of age is an instance of time duration |
| s__domain(s__ageOfMajorityForProcess__m,n__1,s__TimeDuration)
|
Law.kif 591-591 |
The number 1 argument of age of majority for process is an instance of time duration |
| s__domain(s__albumLength__m,n__2,s__TimeDuration)
|
Music.kif 327-327 |
The number 2 argument of album length is an instance of time duration |
| s__domain(s__averagePrecipitationForPeriod__m,n__2,s__TimeDuration)
|
Weather.kif 1221-1221 |
The number 2 argument of average precipitation for period is an instance of time duration |
| s__domain(s__averageTemperatureForPeriod__m,n__2,s__TimeDuration)
|
Weather.kif 986-986 |
The number 2 argument of average temperature for period is an instance of time duration |
| s__domain(s__batchInterArrival__m,n__2,s__TimeDuration)
|
QoSontology.kif 1192-1192 |
The number 2 argument of batch inter arrival is an instance of time duration |
| s__domain(s__batchLatency__m,n__2,s__TimeDuration)
|
QoSontology.kif 1186-1186 |
The number 2 argument of batch latency is an instance of time duration |
| s__domain(s__collectRate__m,n__2,s__TimeDuration)
|
QoSontology.kif 2154-2154 |
The number 2 argument of collect rate is an instance of time duration |
| s__domain(s__daylightHoursTotal__m,n__3,s__TimeDuration)
|
Weather.kif 862-862 |
The number 3 argument of daylight hours total is an instance of time duration |
| s__domain(s__dependencyDelay__m,n__2,s__TimeDuration)
|
QoSontology.kif 1250-1250 |
The number 2 argument of dependency delay is an instance of time duration |
| s__domain(s__duration__m,n__2,s__TimeDuration)
|
Merge.kif 7641-7641 |
The number 2 argument of duration is an instance of time duration |
| s__domain(s__frequency__m,n__2,s__TimeDuration)
|
Merge.kif 7651-7651 |
The number 2 argument of frequency is an instance of time duration |
| s__domain(s__granularity__m,n__2,s__TimeDuration)
|
QoSontology.kif 1509-1509 |
The number 2 argument of granularity is an instance of time duration |
| s__domain(s__highestTemperatureForPeriod__m,n__2,s__TimeDuration)
|
Weather.kif 998-998 |
The number 2 argument of highest temperature for period is an instance of time duration |
| s__domain(s__lowestTemperatureForPeriod__m,n__2,s__TimeDuration)
|
Weather.kif 1010-1010 |
The number 2 argument of lowest temperature for period is an instance of time duration |
| s__domain(s__measuringListDuration__m,n__2,s__TimeDuration)
|
Weather.kif 1874-1874 |
The number 2 argument of measuring list duration is an instance of time duration |
| s__domain(s__measuringListInterval__m,n__2,s__TimeDuration)
|
Weather.kif 1856-1856 |
The number 2 argument of measuring list interval is an instance of time duration |
| s__domain(s__militaryAge__m,n__2,s__TimeDuration)
|
Military.kif 838-838 |
The number 2 argument of military age is an instance of time duration |
| s__domain(s__minimumPayment__m,n__3,s__TimeDuration)
|
FinancialOntology.kif 714-714 |
The number 3 argument of minimum payment is an instance of time duration |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
