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

Formal Language: 


KB Term:  Term intersection
English Word: 

  TimeDuration

 Sigma KEE - TimeDuration
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 2086-2087
(documentation TimeDuration JapaneseLanguage "ユニバーサル タイムラインに関する有無にかかわ らない、時間の長さの任意の尺度。") japanese_format.kif 394-395
(subclass TimeDuration TimeMeasure) Merge.kif 2084-2084 子類 TimeDuration and TimeMeasure

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


(instance DayDuration TimeDuration) Merge.kif 7109-7109 例 一天長度 and TimeDuration
(instance DecadeDuration TimeDuration) Merge.kif 8869-8869 例 DecadeDuration and TimeDuration
(instance HourDuration TimeDuration) Merge.kif 7117-7117 例 小時 and TimeDuration
(instance MinuteDuration TimeDuration) Merge.kif 7125-7125 例 分鐘 and TimeDuration
(instance MonthDuration TimeDuration) Merge.kif 7142-7142 例 月持續時間 and TimeDuration
(instance SecondDuration TimeDuration) Merge.kif 6734-6734 例 第二期 and TimeDuration
(instance WeekDuration TimeDuration) Merge.kif 7133-7133 例 週持續時間 and TimeDuration
(instance YearDuration TimeDuration) Merge.kif 7160-7160 例 年持續時間 and TimeDuration
(termFormat ChineseLanguage TimeDuration "持续时间") chinese_format.kif 878-878 例 年持續時間 and TimeDuration
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 958-958 例 年持續時間 and TimeDuration
(termFormat FrenchLanguage TimeDuration "dur�e temporel") french_format.kif 554-554 例 年持續時間 and TimeDuration
(termFormat Hindi TimeDuration "samayaavadhi") terms-hindi.txt 84-84 例 年持續時間 and TimeDuration
(termFormat ItalianLanguage TimeDuration "Durata") terms-it.txt 87-87 例 年持續時間 and TimeDuration
(termFormat JapaneseLanguage TimeDuration "時間分") japanese_format.kif 2239-2239 例 年持續時間 and TimeDuration
(termFormat PortugueseLanguage TimeDuration "Duracao Temporal") portuguese_format.kif 506-506 例 年持續時間 and TimeDuration
(termFormat cb TimeDuration "kadugayang oras") terms-cb.txt 89-89 例 年持續時間 and TimeDuration
(termFormat cz TimeDuration "time duration") terms-cz.txt 121-121 例 年持續時間 and TimeDuration
(termFormat de TimeDuration "Zeitdauer") terms-de.txt 380-380 例 年持續時間 and TimeDuration
(termFormat ro TimeDuration "duratã") relations-ro.kif 575-575 例 年持續時間 and TimeDuration
(termFormat tg TimeDuration "tagal ng panahon") terms-tg.txt 88-88 例 年持續時間 and TimeDuration

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1275-1275 域 AccelerationFn, 2 and TimeDuration
(domain RotationFn 2 TimeDuration) Cars.kif 2088-2088 域 RotationFn, 2 and TimeDuration
(domain SpeedFn 2 TimeDuration) Merge.kif 6683-6683 域 速度, 2 and TimeDuration
(domain TimeIntervalListFn 2 TimeDuration) Weather.kif 2681-2681 域 TimeIntervalListFn, 2 and TimeDuration
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 15408-15408 域 TimePeriodFn, 2 and TimeDuration
(domain VelocityFn 2 TimeDuration) Merge.kif 6694-6694 域 速度, 2 and TimeDuration
(domain age 2 TimeDuration) Merge.kif 7564-7564 域 年齡, 2 and TimeDuration
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 549-549 域 ageOfMajorityForProcess, 1 and TimeDuration
(domain albumLength 2 TimeDuration) Music.kif 330-330 域 albumLength, 2 and TimeDuration
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 1456-1456 域 期間平均降水量, 2 and TimeDuration
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1296-1296 域 批次到達, 2 and TimeDuration
(domain batchLatency 2 TimeDuration) QoSontology.kif 1290-1290 域 批量延遲, 2 and TimeDuration
(domain collectRate 2 TimeDuration) QoSontology.kif 2280-2280 域 收集率, 2 and TimeDuration
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 1097-1097 域 白天的總時數, 3 and TimeDuration
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1354-1354 域 依賴延遲, 2 and TimeDuration
(domain diseaseIncubation 2 TimeDuration) WMD.kif 1531-1531 域 疾病孵化, 2 and TimeDuration
(domain diseaseIncubation 3 TimeDuration) WMD.kif 1532-1532 域 疾病孵化, 3 and TimeDuration
(domain duration 2 TimeDuration) Merge.kif 7988-7988 域 持續時間, 2 and TimeDuration
(domain frequency 2 TimeDuration) Merge.kif 7997-7997 域 頻率, 2 and TimeDuration
(domain granularity 2 TimeDuration) QoSontology.kif 1622-1622 域 粒度, 2 and TimeDuration
(domain measuringListDuration 2 TimeDuration) Weather.kif 2599-2599 域 measuringListDuration, 2 and TimeDuration
(domain measuringListInterval 2 TimeDuration) Weather.kif 2581-2581 域 measuringListInterval, 2 and TimeDuration
(domain militaryAge 2 TimeDuration) Military.kif 906-906 域 軍事時代, 2 and TimeDuration
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 757-757 域 最低付費, 3 and TimeDuration
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 18353-18353 域 貨幣工資, 3 and TimeDuration

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 6425-6429
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners