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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeDuration
TimeDurationفتْرة, فتْرة زمنِيّة, مُدّة, مُدّة زمنِيّة, زَمَن, زَمَن مُوسِيقِي, وَقْت, ليْل, أُسْبُوعان, أُسْبُوعيْن, عام, حوْل, سنة, شهْر قمرِيّ, توْقِيت نجْميّ, توْقِيت فلكِيّ, يَوْم, فتْرة زمنِيّة مُحدّدة, فتْرة مُحدّدة, مُدّة مُحدّدًة, مُدّة زمنِيّة مُحدّدًة, ...

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


(documentation TimeDuration ChineseLanguage "这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。") Merge.kif 2156-2157
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") Merge.kif 2154-2155
(subclass TimeDuration TimeMeasure) Merge.kif 2153-2153

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


(termFormat ChineseLanguage TimeDuration "持续时间") chinese_format.kif 878-878
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 565-565
(termFormat FrenchLanguage TimeDuration "dur�e temporel") french_format.kif 554-554
(termFormat Hindi TimeDuration "samayaavadhi") terms-hindi.txt 84-84
(termFormat ItalianLanguage TimeDuration "Durata") terms-it.txt 85-85
(termFormat PortugueseLanguage TimeDuration "Duracao Temporal") portuguese_format.kif 506-506
(termFormat ar TimeDuration "اِمْتِدَاد الوَقْت") arabic_format.kif 290-290
(termFormat cb TimeDuration "kadugayang oras") terms-cb.txt 89-89
(termFormat cz TimeDuration "time duration") terms-cz.txt 121-121
(termFormat tg TimeDuration "tagal ng panahon") terms-tg.txt 88-88

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1275-1275
(domain RotationFn 2 TimeDuration) Cars.kif 2090-2090
(domain SpeedFn 2 TimeDuration) Merge.kif 6855-6855
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11640-11640
(domain VelocityFn 2 TimeDuration) Merge.kif 6868-6868
(domain age 2 TimeDuration) Merge.kif 7740-7740
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 587-587
(domain albumLength 2 TimeDuration) Music.kif 333-333
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 846-846
(domain averageTemperatureForPeriod 2 TimeDuration) Weather.kif 598-598
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1166-1166
(domain batchLatency 2 TimeDuration) QoSontology.kif 1160-1160
(domain collectRate 2 TimeDuration) QoSontology.kif 2111-2111
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 474-474
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1224-1224
(domain duration 2 TimeDuration) Merge.kif 8097-8097
(domain frequency 2 TimeDuration) Merge.kif 8109-8109
(domain granularity 2 TimeDuration) QoSontology.kif 1483-1483
(domain heartBeatRate 2 TimeDuration) QoSontology.kif 895-895
(domain highestTemperatureForPeriod 2 TimeDuration) Weather.kif 610-610
(domain lowestTemperatureForPeriod 2 TimeDuration) Weather.kif 622-622
(domain militaryAge 2 TimeDuration) Military.kif 838-838
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 708-708
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 14521-14521
(domain overcastDaysInPeriod 2 TimeDuration) Weather.kif 565-565

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 6544-6548
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?DURATION ?CURR)
        (and
            (instance ?CURR CurrencyMeasure)
            (instance ?DURATION TimeDuration)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 485-491
(=>
    (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
    (exists (?DURATION ?CURR)
        (and
            (instance ?DURATION TimeDuration)
            (instance ?CURR CurrencyMeasure)
            (equal ?QUANT
                (PerFn ?CURR ?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