Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
daylightHoursTotal
Sigma KEE - daylightHoursTotal
daylightHoursTotal
appearance as argument number 1
(
documentation
daylightHoursTotal
EnglishLanguage
"(
daylightHoursTotal
?PLACE ?DAY ?TIME) means that in the
Region
?PLACE, on the
Day
indicated by ?DAY, there is daylight for a total
TimeDuration
?LENGTH.")
Weather.kif 848-851
(
domain
daylightHoursTotal
1
Region
)
Weather.kif 844-844
Il numero 1 argomenti di
daylightHoursTotal
è un
istanza
di
Regione
(
domain
daylightHoursTotal
3
TimeDuration
)
Weather.kif 846-846
Il numero 3 argomenti di
daylightHoursTotal
è un
istanza
di
Durata
(
domainSubclass
daylightHoursTotal
2
Day
)
Weather.kif 845-845
Il numero 2 argomento
daylightHoursTotal
è una
sottoclasse
di
Giorno
(
instance
daylightHoursTotal
TernaryPredicate
)
Weather.kif 843-843
daylightHoursTotal
è un'
istanza
di
PredicatoTernario
appearance as argument number 2
(
format
ChineseLanguage
daylightHoursTotal
"%1 %n{不是} 对于 %3 的 daylight 总共时数 %2 ")
domainEnglishFormat.kif 672-672
(
format
ChineseTraditionalLanguage
daylightHoursTotal
"%1 %n{不是} 對於 %3 的 daylight 總共時數 %2 ")
domainEnglishFormat.kif 671-671
(
format
EnglishLanguage
daylightHoursTotal
"%1 %n{doesn't} daylight hours total %2 for %3")
domainEnglishFormat.kif 670-670
(
termFormat
ChineseLanguage
daylightHoursTotal
"白天的总时数")
domainEnglishFormat.kif 18672-18672
(
termFormat
ChineseTraditionalLanguage
daylightHoursTotal
"白天的總時數")
domainEnglishFormat.kif 18671-18671
(
termFormat
EnglishLanguage
daylightHoursTotal
"daylight hours total")
domainEnglishFormat.kif 18670-18670
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