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 2021-2022
(subclass TimeDuration TimeMeasure) Merge.kif 2019-2019

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


(instance DayDuration TimeDuration) Merge.kif 6994-6994
(instance DecadeDuration TimeDuration) Merge.kif 8664-8664
(instance HourDuration TimeDuration) Merge.kif 7002-7002
(instance MinuteDuration TimeDuration) Merge.kif 7010-7010
(instance MonthDuration TimeDuration) Merge.kif 7027-7027
(instance SecondDuration TimeDuration) Merge.kif 6619-6619
(instance WeekDuration TimeDuration) Merge.kif 7018-7018
(instance YearDuration TimeDuration) Merge.kif 7045-7045
(termFormat ChineseLanguage TimeDuration "持续时间") chinese_format.kif 878-878
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 958-958

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1275-1275
(domain RotationFn 2 TimeDuration) Cars.kif 2104-2104
(domain SpeedFn 2 TimeDuration) Merge.kif 6568-6568
(domain TimeIntervalListFn 2 TimeDuration) Weather.kif 1956-1956
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 13507-13507
(domain VelocityFn 2 TimeDuration) Merge.kif 6579-6579
(domain age 2 TimeDuration) Merge.kif 7429-7429
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 591-591
(domain albumLength 2 TimeDuration) Music.kif 328-328
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 1220-1220
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1192-1192
(domain batchLatency 2 TimeDuration) QoSontology.kif 1186-1186
(domain collectRate 2 TimeDuration) QoSontology.kif 2153-2153
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 862-862
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1250-1250
(domain diseaseIncubation 2 TimeDuration) WMD.kif 1522-1522
(domain diseaseIncubation 3 TimeDuration) WMD.kif 1523-1523
(domain duration 2 TimeDuration) Merge.kif 7813-7813
(domain frequency 2 TimeDuration) Merge.kif 7822-7822
(domain granularity 2 TimeDuration) QoSontology.kif 1509-1509
(domain measuringListDuration 2 TimeDuration) Weather.kif 1874-1874
(domain measuringListInterval 2 TimeDuration) Weather.kif 1856-1856
(domain militaryAge 2 TimeDuration) Military.kif 838-838
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 754-754
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 16409-16409

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 6310-6314
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?DURATION ?CURR)
        (and
            (instance ?CURR CurrencyMeasure)
            (instance ?DURATION TimeDuration)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 500-506
(=>
    (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
    (exists (?DURATION ?CURR)
        (and
            (instance ?DURATION TimeDuration)
            (instance ?CURR CurrencyMeasure)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 454-460


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