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 3336-3337
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") Merge.kif 3333-3334
(documentation TimeDuration JapaneseLanguage "ユニバーサル タイムラインに関する有無にかかわ らない、時間の長さの任意の尺度。") Merge.kif 3339-3340
(subclass TimeDuration TimeMeasure) Merge.kif 3331-3331 時間分時間測定subclass では %n

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


(termFormat ChineseLanguage TimeDuration "持续时间") chinese_format.kif 878-878 termFormat ChineseLanguage, 時間分 and "持续时间"
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 1327-1327 termFormat EnglishLanguage, 時間分 and "time duration"
(termFormat JapaneseLanguage TimeDuration "時間分") english_format.kif 1328-1328 termFormat JapaneseLanguage, 時間分 and "時間分"

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1275-1275 AccelerationFn の数値 2 引数は 時間分instance では %n
(domain RotationFn 2 TimeDuration) Cars.kif 2090-2090 RotationFn の数値 2 引数は 時間分instance では %n
(domain SpeedFn 2 TimeDuration) Merge.kif 9629-9629 SpeedFn の数値 2 引数は 時間分instance では %n
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11641-11641 TimePeriodFn の数値 2 引数は 時間分instance では %n
(domain VelocityFn 2 TimeDuration) Merge.kif 9648-9648 VelocityFn の数値 2 引数は 時間分instance では %n
(domain age 2 TimeDuration) Merge.kif 10908-10908 age の数値 2 引数は 時間分instance では %n
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 587-587 ageOfMajorityForProcess の数値 1 引数は 時間分instance では %n
(domain albumLength 2 TimeDuration) Music.kif 333-333 albumLength の数値 2 引数は 時間分instance では %n
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 846-846 averagePrecipitationForPeriod の数値 2 引数は 時間分instance では %n
(domain averageTemperatureForPeriod 2 TimeDuration) Weather.kif 598-598 averageTemperatureForPeriod の数値 2 引数は 時間分instance では %n
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1182-1182 batchInterArrival の数値 2 引数は 時間分instance では %n
(domain batchLatency 2 TimeDuration) QoSontology.kif 1176-1176 batchLatency の数値 2 引数は 時間分instance では %n
(domain collectRate 2 TimeDuration) QoSontology.kif 2127-2127 collectRate の数値 2 引数は 時間分instance では %n
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 474-474 daylightHoursTotal の数値 3 引数は 時間分instance では %n
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1240-1240 dependencyDelay の数値 2 引数は 時間分instance では %n
(domain duration 2 TimeDuration) Merge.kif 11399-11399 duration の数値 2 引数は 時間分instance では %n
(domain frequency 2 TimeDuration) Merge.kif 11417-11417 frequency の数値 2 引数は 時間分instance では %n
(domain granularity 2 TimeDuration) QoSontology.kif 1499-1499 granularity の数値 2 引数は 時間分instance では %n
(domain highestTemperatureForPeriod 2 TimeDuration) Weather.kif 610-610 highestTemperatureForPeriod の数値 2 引数は 時間分instance では %n
(domain lowestTemperatureForPeriod 2 TimeDuration) Weather.kif 622-622 lowestTemperatureForPeriod の数値 2 引数は 時間分instance では %n
(domain militaryAge 2 TimeDuration) Military.kif 838-838 militaryAge の数値 2 引数は 時間分instance では %n
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 708-708 minimumPayment の数値 3 引数は 時間分instance では %n
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 14522-14522 monetaryWage の数値 3 引数は 時間分instance では %n
(domain overcastDaysInPeriod 2 TimeDuration) Weather.kif 565-565 overcastDaysInPeriod の数値 2 引数は 時間分instance では %n
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 692-692 periodicPayment の数値 3 引数は 時間分instance では %n

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 9229-9233
(=>
    (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