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
Isthmus
Sigma KEE - HourFn
HourFn
appearance as argument number 1
(
documentation
HourFn
ChineseLanguage
"这是一个
BinaryFunction
, 它把一个
PositiveRealNumber
与一个与一个
Day
的子类别,分配到每个
Day
内对应那个
NonnegativeInteger
的
Hour
。例如:(
HourFn
12
Thursday
)是所有星期四中午的
Class
。另外一个例子: (
HourFn
0
Day
)会得出子夜所有实例的类别。再例如: (
HourFn
14(
DayFn
18 (
MonthFn
August
(
YearFn
1912))))表示1912年八月十八日下午两点。")
chinese_format.kif 2764-2768
(
documentation
HourFn
EnglishLanguage
"A
BinaryFunction
that assigns a
PositiveRealNumber
and a subclass of
Day
s to the
Hour
s within each
Day
corresponding to that
NonnegativeInteger
. For example, (
HourFn
12
Thursday
) is the
Class
of all instances of noon Thursday. For another example, (
HourFn
0
Day
) would return the class of all instances of midnight. For still another example, (
HourFn
14 (
DayFn
18 (
MonthFn
August
(
YearFn
1912)))) denotes 2 PM on the 18th day of August 1912.")
Merge.kif 8639-8645
(
documentation
HourFn
JapaneseLanguage
"
BinaryFunction
は、その
NonnegativeInteger
に 対応する各
Day
内の
Hour
に
PositiveRealNumber
と
Day
のサブクラスを割り当てる。例え ば、(
HourFn
12
Thursday
) は木曜日の正午のすべてのインスタンスの
Class
である。別の例では、 (
HourFn
0
Day
) は午前零時のすべてのインスタンスのクラスを返す。さらに別の例については、 (
HourFn
14(
DayFn
18 (
MonthFn
August
(
YearFn
1912)))) は、1912年8月18日の 午後2時を示す。")
japanese_format.kif 1493-1498
(
domain
HourFn
1
NonnegativeInteger
)
Merge.kif 8635-8635
时函数
的 1 数量 是
非负整数
的
instance
(
domainSubclass
HourFn
2
Day
)
Merge.kif 8636-8636
时函数
的 2 数量 是
日
的
subclass
(
instance
HourFn
BinaryFunction
)
Merge.kif 8633-8633
时函数
是
二元函数
的
instance
(
instance
HourFn
PartialValuedRelation
)
Merge.kif 8634-8634
时函数
是
部分值关系
的
instance
(
instance
HourFn
TemporalRelation
)
Merge.kif 8632-8632
时函数
是
时间关系
的
instance
(
rangeSubclass
HourFn
Hour
)
Merge.kif 8637-8637
时函数
的所得值 是
小时
的
subclass
appearance as argument number 2
(
format
ChineseLanguage
HourFn
"%1 hour")
chinese_format.kif 471-471
(
format
EnglishLanguage
HourFn
"the hour %1")
english_format.kif 477-477
(
format
FrenchLanguage
HourFn
"l' heure %1")
french_format.kif 272-272
(
format
ItalianLanguage
HourFn
"l'
or
a %1")
relations-it.txt 133-133
(
format
JapaneseLanguage
HourFn
"%1 hour 目")
japanese_format.kif 2062-2062
(
format
PortugueseLanguage
HourFn
"a hora %1")
portuguese_format.kif 224-224
(
format
cz
HourFn
"%1 of %2")
relations-cz.txt 278-278
(
format
de
HourFn
"die stunde %1")
relations-de.txt 614-614
(
format
hi
HourFn
"%1 ke-samaya")
relations-hindi.txt 172-172
(
format
ro
HourFn
"hour%t{ora} %1")
relations-ro.kif 293-293
(
format
sv
HourFn
"timmen %1")
relations-sv.txt 299-299
(
format
tg
HourFn
"ang horas %1")
relations-tg.txt 272-272
(
relatedInternalConcept
Hour
HourFn
)
Merge.kif 9363-9363
小时
和
时函数
是 内部相关
(
termFormat
ChineseLanguage
HourFn
"小时")
domainEnglishFormat.kif 28707-28707
(
termFormat
ChineseLanguage
HourFn
"时函数")
chinese_format.kif 472-472
(
termFormat
ChineseTraditionalLanguage
HourFn
"小時")
domainEnglishFormat.kif 28706-28706
(
termFormat
EnglishLanguage
HourFn
"hour")
domainEnglishFormat.kif 28705-28705
(
termFormat
tg
HourFn
"tungkulin ng horas")
relations-tg.txt 273-273
antecedent
(=>
(
and
(
instance
?HOUR1
(
HourFn
?NUMBER1 ?DAY))
(
instance
?HOUR2
(
HourFn
?NUMBER2 ?DAY))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?HOUR1 ?HOUR2))
Merge.kif 8651-8656
如果
时距
是
非负整数
hour
的
instance
和
另一个 时距
是
另一个 非负整数
hour
的
instance
和 (
那个 另外 非负整数
和
那个 非负整数
)
equal
1,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?CST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
CentralTimeZone
) ?CST))
(
equal
?H2
(
AdditionFn
?H1 6)))
Merge.kif 17228-17234
如果
时间位置
是
非负整数
hour
的
instance
和
另一个 时间位置
是
另一个 非负整数
hour
的
instance
和 时间
那个 时间位置
在 时区
中央时区
equal
那个 另外 时间位置
,
然后
那个 另外 非负整数
equal
(
那个 非负整数
和 6)
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?EST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
EasternTimeZone
) ?EST))
(
equal
?H2
(
AdditionFn
?H1 5)))
Merge.kif 17240-17246
如果
时间位置
是
非负整数
hour
的
instance
和
另一个 时间位置
是
另一个 非负整数
hour
的
instance
和 时间
那个 时间位置
在 时区
东部时区
equal
那个 另外 时间位置
,
然后
那个 另外 非负整数
equal
(
那个 非负整数
和 5)
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?MST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
MountainTimeZone
) ?MST))
(
equal
?H2
(
AdditionFn
?H1 7)))
Merge.kif 17216-17222
如果
时间位置
是
非负整数
hour
的
instance
和
另一个 时间位置
是
另一个 非负整数
hour
的
instance
和 时间
那个 时间位置
在 时区
山区时区
equal
那个 另外 时间位置
,
然后
那个 另外 非负整数
equal
(
那个 非负整数
和 7)
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?PST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
PacificTimeZone
) ?PST))
(
equal
?H2
(
AdditionFn
?H1 8)))
Merge.kif 17204-17210
如果
时间位置
是
非负整数
hour
的
instance
和
另一个 时间位置
是
另一个 非负整数
hour
的
instance
和 时间
那个 时间位置
在 时区
太平洋时区
equal
那个 另外 时间位置
,
然后
那个 另外 非负整数
equal
(
那个 非负整数
和 8)
(=>
(
instance
?HOUR
(
HourFn
?NUMBER ?DAY))
(
lessThan
?NUMBER 24))
Merge.kif 8647-8649
如果
实体
是
非负整数
hour
的
instance
,
然后
那个 非负整数
是
lessThan
24
consequent
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
如果
施事体
是
符号串
的
day
电话,
然后 有存在
电话
,
实体
, and 和
实数
这样
那个 电话
是
那个 符号串
的
phone
号码 和
那个 实数
是
greaterThan
6 和
那个 实数
是
lessThan
18 和 有存在
另一个 实体
这样
那个 另外 实体
是
致电
的
instance
和
那个 另外 实体
在
那个 施事体
结束 和
那个 电话
是
那个 另外 实体
的
patient
和
那个 施事体
possesses
那个 电话
和 有存在
第三 实体
这样
那个 第三 实体
是
回答中
的
instance
和
那个 第三 实体
%n是
那个 另外 实体
的
subProcess
和
那个 施事体
是
那个 第三 实体
的
agent
的声明 has
容易
的语气 在
那个 实体
是
那个 实数
hour
的
instance
holdsDuring
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
如果
施事体
是
符号串
的
evening
电话,
然后 有存在
电话
,
实体
, and 和
实数
这样
那个 电话
是
那个 符号串
的
phone
号码 和
那个 实数
是
greaterThan
18 和
那个 实数
是
lessThan
6 和 有存在
另一个 实体
这样
那个 另外 实体
是
致电
的
instance
和
那个 另外 实体
在
那个 施事体
结束 和
那个 电话
是
那个 另外 实体
的
patient
和
那个 施事体
possesses
那个 电话
和 有存在
第三 实体
这样
那个 第三 实体
是
回答中
的
instance
和
那个 第三 实体
%n是
那个 另外 实体
的
subProcess
和
那个 施事体
是
那个 第三 实体
的
agent
的声明 has
容易
的语气 在
那个 实体
是
那个 实数
hour
的
instance
holdsDuring
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 8817-8823
如果
时距
是
下午
的
instance
,
然后 有存在
另一个 时距
和
有点 日
这样
那个 另外 时距
是 12
hour
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
(=>
(
instance
?AM
AnteMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
24 ?D))
(
starts
?HOUR1 ?AM)
(
instance
?HOUR2
(
HourFn
12 ?D))
(
finishes
?HOUR2 ?AM))))
Mid-level-ontology.kif 19094-19101
如果
时距
是
上午
的
instance
,
然后 有存在
有点 日
,
另一个 时距
, and 和
第三 时距
这样
那个 另外 时距
是 24
hour
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
和
那个 第三 时距
是 12
hour
的
instance
和
那个 第三 时距
finishes
了才到
那个 时距
(=>
(
instance
?MORNING
Morning
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
finishes
?HOUR ?MORNING))))
Merge.kif 8829-8835
如果
时距
是
早上
的
instance
,
然后 有存在
另一个 时距
和
有点 日
这样
那个 另外 时距
是 12
hour
的
instance
和
那个 另外 时距
finishes
了才到
那个 时距
(=>
(
instance
?PM
PostMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
12 ?D))
(
starts
?HOUR1 ?PM)
(
instance
?HOUR2
(
HourFn
24 ?D))
(
finishes
?HOUR2 ?PM))))
Mid-level-ontology.kif 19108-19115
如果
时距
是
发布meridiem
的
instance
,
然后 有存在
有点 日
,
另一个 时距
, and 和
第三 时距
这样
那个 另外 时距
是 12
hour
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
和
那个 第三 时距
是 24
hour
的
instance
和
那个 第三 时距
finishes
了才到
那个 时距
(=>
(
instance
?TIME
LunchTime
)
(
exists
(?ELEVEN ?THREE ?DAY)
(
and
(
during
?TIME
(
TimeIntervalFn
(
BeginFn
?ELEVEN)
(
EndFn
?THREE)))
(
instance
?ELEVEN
(
HourFn
11 ?DAY))
(
instance
?THREE
(
HourFn
15 ?DAY)))))
Food.kif 1867-1876
如果
时距
是
LunchTime
的
instance
,
然后 有存在
另一个 时距
,
第三 时距
, and 和
有点 日
这样
那个 时距
在
那个 另外 时距
的开始 和
那个 第三 时距
的结束 间的时段 时段内发生 和
那个 另外 时距
是 11
hour
的
instance
和
那个 第三 时距
是 15
hour
的
instance
statement
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2143-2143
Unix时代
equal
0
second
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