Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeDuration
TimeDurationاِمْتِدَاد الوَقْت, 15_minutes, 30_minutes, Duracao_Temporal, Durata, Great_Schism, Lower_Paleolithic, Middle_Paleolithic, OWLT, Platonic_year, RTLT, Upper_Paleolithic, aeon, age_norm, air_alert, all-night, anomalistic_month, attention_span, attosecond, bell, biannually, bicentenary, bicentennial, biennially, bimester, bimestrial, biological_time, bit, biweekly, biyearly, centenary, centennial, centennially, civil, climacteric, clocking, clotting_time, cold_snap, cold_spell, command_overhead, command_processing_overhead, command_processing_overhead_time, day, daylong, duple_time, dur�e_temporel, elapsed, eon, extended_time_scale, fast_time_scale...

appearance as argument number 1
-------------------------


s__documentation(s__TimeDuration,s__ChineseLanguage,'这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。')

Merge.kif 2156-2157
s__documentation(s__TimeDuration,s__EnglishLanguage,'Any measure of length of time, with or without respect to the universal timeline.')

Merge.kif 2154-2155
s__instance(s__TimeDuration,s__SetOrClass)

Merge.kif 2153-2153

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__TimeDuration,'持续时间')

chinese_format.kif 878-878
s__termFormat(s__EnglishLanguage,s__TimeDuration,'time duration')

english_format.kif 565-565
s__termFormat(s__FrenchLanguage,s__TimeDuration,'dur�e temporel')

french_format.kif 554-554
s__termFormat(s__Hindi,s__TimeDuration,'samayaavadhi')

terms-hindi.txt 84-84
s__termFormat(s__ItalianLanguage,s__TimeDuration,'Durata')

terms-it.txt 85-85
s__termFormat(s__PortugueseLanguage,s__TimeDuration,'Duracao Temporal')

portuguese_format.kif 506-506
s__termFormat(s__ar__m,s__TimeDuration,'اِمْتِدَاد الوَقْت')

arabic_format.kif 290-290
s__termFormat(s__cb__m,s__TimeDuration,'kadugayang oras')

terms-cb.txt 89-89
s__termFormat(s__cz__m,s__TimeDuration,'time duration')

terms-cz.txt 121-121
s__termFormat(s__tg__m,s__TimeDuration,'tagal ng panahon')

terms-tg.txt 88-88

appearance as argument number 3
-------------------------


s__domain(s__AccelerationFn__m,2,s__TimeDuration)

Cars.kif 1275-1275
s__domain(s__RotationFn__m,2,s__TimeDuration)

Cars.kif 2090-2090
s__domain(s__SpeedFn__m,2,s__TimeDuration)

Merge.kif 6855-6855
s__domain(s__TimePeriodFn__m,2,s__TimeDuration)

Mid-level-ontology.kif 11640-11640
s__domain(s__VelocityFn__m,2,s__TimeDuration)

Merge.kif 6868-6868
s__domain(s__age__m,2,s__TimeDuration)

Merge.kif 7740-7740
s__domain(s__ageOfMajorityForProcess__m,1,s__TimeDuration)

Law.kif 587-587
s__domain(s__albumLength__m,2,s__TimeDuration)

Music.kif 333-333
s__domain(s__averagePrecipitationForPeriod__m,2,s__TimeDuration)

Weather.kif 846-846
s__domain(s__averageTemperatureForPeriod__m,2,s__TimeDuration)

Weather.kif 598-598
s__domain(s__batchInterArrival__m,2,s__TimeDuration)

QoSontology.kif 1166-1166
s__domain(s__batchLatency__m,2,s__TimeDuration)

QoSontology.kif 1160-1160
s__domain(s__collectRate__m,2,s__TimeDuration)

QoSontology.kif 2111-2111
s__domain(s__daylightHoursTotal__m,3,s__TimeDuration)

Weather.kif 474-474
s__domain(s__dependencyDelay__m,2,s__TimeDuration)

QoSontology.kif 1224-1224
s__domain(s__duration__m,2,s__TimeDuration)

Merge.kif 8097-8097
s__domain(s__frequency__m,2,s__TimeDuration)

Merge.kif 8109-8109
s__domain(s__granularity__m,2,s__TimeDuration)

QoSontology.kif 1483-1483
s__domain(s__heartBeatRate__m,2,s__TimeDuration)

QoSontology.kif 895-895
s__domain(s__highestTemperatureForPeriod__m,2,s__TimeDuration)

Weather.kif 610-610
s__domain(s__lowestTemperatureForPeriod__m,2,s__TimeDuration)

Weather.kif 622-622
s__domain(s__militaryAge__m,2,s__TimeDuration)

Military.kif 838-838
s__domain(s__minimumPayment__m,3,s__TimeDuration)

FinancialOntology.kif 708-708
s__domain(s__monetaryWage__m,3,s__TimeDuration)

Mid-level-ontology.kif 14521-14521
s__domain(s__overcastDaysInPeriod__m,2,s__TimeDuration)

Weather.kif 565-565

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__NUMBER,V__UNIT,V__QUANT] :
   (((s__MeasureFn(V__NUMBER,V__UNIT)
       = V__QUANT)
     &
     s__instance(V__UNIT,s__UnitOfDuration))
   =>
   s__instance(V__QUANT,s__TimeDuration))
)

Merge.kif 6544-6548
( ! [V__OBJ,V__QUANT,V__AGREE] :
   (s__contractedRentalPrice(V__OBJ,V__QUANT,V__AGREE)
   =>
   (? [V__DURATION,V__CURR] :
     (s__instance(V__CURR,s__CurrencyMeasure) &
       s__instance(V__DURATION,s__TimeDuration) &
       (V__QUANT = s__PerFn(V__CURR,V__DURATION)))))
)

Catalog.kif 485-491
( ! [V__OBJ,V__QUANT,V__AGENT,V__PS] :
   (s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
   =>
   (? [V__DURATION,V__CURR] :
     (s__instance(V__DURATION,s__TimeDuration) &
       s__instance(V__CURR,s__CurrencyMeasure) &
       (V__QUANT = s__PerFn(V__CURR,V__DURATION)))))
)

Catalog.kif 442-448


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners