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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeDuration
TimeDuration(time duration)15_minutes, 30_minutes, 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, elapsed, eon, extended_time_scale, fast_time_scale, femtosecond, float, fortnight, fortnightly...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3336-3337
No TPTP formula. May not be expressible in strict first order. Merge.kif 3333-3334
No TPTP formula. May not be expressible in strict first order. Merge.kif 3339-3340
No TPTP formula. May not be expressible in strict first order. Merge.kif 3331-3331 Time duration is a subclass of time measure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 878-878 "持续时间" is the printable form of time duration in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1327-1327 "time duration" is the printable form of time duration in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 1328-1328 "時間分" is the printable form of time duration in japanese language

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1275-1275 The number 2 argument of AccelerationFn is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Cars.kif 2090-2090 The number 2 argument of RotationFn is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9629-9629 The number 2 argument of speed is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11641-11641 The number 2 argument of time period function is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9648-9648 The number 2 argument of velocity is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 10908-10908 The number 2 argument of age is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Law.kif 587-587 The number 1 argument of age of majority for process is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Music.kif 333-333 The number 2 argument of album length is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Weather.kif 846-846 The number 2 argument of average precipitation for period is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Weather.kif 598-598 The number 2 argument of average temperature for period is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1182-1182 The number 2 argument of batch inter arrival is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1176-1176 The number 2 argument of batch latency is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2127-2127 The number 2 argument of collect rate is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Weather.kif 474-474 The number 3 argument of daylight hours total is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1240-1240 The number 2 argument of dependency delay is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 11399-11399 The number 2 argument of duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 11417-11417 The number 2 argument of frequency is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1499-1499 The number 2 argument of granularity is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Weather.kif 610-610 The number 2 argument of highest temperature for period is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Weather.kif 622-622 The number 2 argument of lowest temperature for period is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Military.kif 838-838 The number 2 argument of military age is an instance of time duration
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 708-708 The number 3 argument of minimum payment is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14522-14522 The number 3 argument of monetary wage is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Weather.kif 565-565 The number 2 argument of overcast days in period is an instance of time duration
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 692-692 The number 3 argument of periodic payment is an instance of time duration

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9229-9233
No TPTP formula. May not be expressible in strict first order. Catalog.kif 485-491
No TPTP formula. May not be expressible in strict first order. 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