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
HourFn
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 8617-8623
(
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 8613-8613
Die Zahl 1 Argument von
HourFn
ist ein
fall
von
NonnegativeInteger
%n{nicht}
(
domainSubclass
HourFn
2
Day
)
Merge.kif 8614-8614
Die Zahl 2 Argument von
HourFn
ist eine
teilkategorie
von
Day
%n{nicht}
(
instance
HourFn
BinaryFunction
)
Merge.kif 8611-8611
HourFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
HourFn
PartialValuedRelation
)
Merge.kif 8612-8612
HourFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
HourFn
TemporalRelation
)
Merge.kif 8610-8610
HourFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
rangeSubclass
HourFn
Hour
)
Merge.kif 8615-8615
Die werte die
HourFn
zurueckgibt sind
teilkategorien
von
Hour
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 9341-9341
Hour
ist innerlich verwandt mit
HourFn
%n{nicht}
(
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 8629-8634
Wenn
TimeInterval
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und (
** ** NonnegativeInteger
und
** NonnegativeInteger
) ist gleich 1 %n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
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 17206-17212
Wenn
TimePosition
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimePosition
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und ist gleich
** ** TimePosition
%n{nicht},
dann
** ** NonnegativeInteger
ist gleich (
** NonnegativeInteger
und 6) %n{nicht}
(=>
(
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 17218-17224
Wenn
TimePosition
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimePosition
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und ist gleich
** ** TimePosition
%n{nicht},
dann
** ** NonnegativeInteger
ist gleich (
** NonnegativeInteger
und 5) %n{nicht}
(=>
(
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 17194-17200
Wenn
TimePosition
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimePosition
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und ist gleich
** ** TimePosition
%n{nicht},
dann
** ** NonnegativeInteger
ist gleich (
** NonnegativeInteger
und 7) %n{nicht}
(=>
(
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 17182-17188
Wenn
TimePosition
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimePosition
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und ist gleich
** ** TimePosition
%n{nicht},
dann
** ** NonnegativeInteger
ist gleich (
** NonnegativeInteger
und 8) %n{nicht}
(=>
(
instance
?HOUR
(
HourFn
?NUMBER ?DAY))
(
lessThan
?NUMBER 24))
Merge.kif 8625-8627
Wenn
Entity
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht},
dann
** NonnegativeInteger
ist
kleinerAls
24 %n{nicht}
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
Wenn
dayPhone
SymbolicString
and
AutonomousAgent
,
dann es gibt
Telephone
,
entity
, and und
RealNumber
um
phoneNumber
** SymbolicString
and
** Telephone
und
** RealNumber
ist
groesserAls
6 %n{nicht} und
** RealNumber
ist
kleinerAls
18 %n{nicht} und es gibt
** entity
um
** ** entity
ist ein
fall
von
Telephoning
%n{nicht} und
** ** entity
endet an
** AutonomousAgent
%n{nicht} und
** Telephone
ist ein
patient
von
** ** entity
%n{nicht} und
** AutonomousAgent
besitzt
** Telephone
%n{nicht} und die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
Answering
%n{nicht} und
** ** entity
ist ein
subProzess
von
** ** entity
und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Likely
haelt
waehrend
** entity
ist ein
fall
von die
stunde
** RealNumber
%n{nicht} %n{nicht}
(=>
(
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
Wenn
eveningPhone
SymbolicString
and
AutonomousAgent
,
dann es gibt
Telephone
,
entity
, and und
RealNumber
um
phoneNumber
** SymbolicString
and
** Telephone
und
** RealNumber
ist
groesserAls
18 %n{nicht} und
** RealNumber
ist
kleinerAls
6 %n{nicht} und es gibt
** entity
um
** ** entity
ist ein
fall
von
Telephoning
%n{nicht} und
** ** entity
endet an
** AutonomousAgent
%n{nicht} und
** Telephone
ist ein
patient
von
** ** entity
%n{nicht} und
** AutonomousAgent
besitzt
** Telephone
%n{nicht} und die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
Answering
%n{nicht} und
** ** entity
ist ein
subProzess
von
** ** entity
und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Likely
haelt
waehrend
** entity
ist ein
fall
von die
stunde
** RealNumber
%n{nicht} %n{nicht}
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 8795-8801
Wenn
TimeInterval
ist ein
fall
von
Afternoon
%n{nicht},
dann es gibt
** TimeInterval
und
** Day
um
** ** TimeInterval
ist ein
fall
von die
stunde
12 %n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
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 19095-19102
Wenn
TimeInterval
ist ein
fall
von
AnteMeridiem
%n{nicht},
dann es gibt
** Day
,
** TimeInterval
, and und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von die
stunde
24 %n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von die
stunde
12 %n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
instance
?MORNING
Morning
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
finishes
?HOUR ?MORNING))))
Merge.kif 8807-8813
Wenn
TimeInterval
ist ein
fall
von
Morning
%n{nicht},
dann es gibt
** TimeInterval
und
** Day
um
** ** TimeInterval
ist ein
fall
von die
stunde
12 %n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
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 19109-19116
Wenn
TimeInterval
ist ein
fall
von
PostMeridiem
%n{nicht},
dann es gibt
** Day
,
** TimeInterval
, and und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von die
stunde
12 %n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von die
stunde
24 %n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
LunchTime
%n{nicht},
dann es gibt
** TimeInterval
,
** TimeInterval
, and und
** Day
um
** TimeInterval
geschieht
waehrend
abstand
zwischen der
anfang
von
** ** TimeInterval
und das
ende
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von die
stunde
11 %n{nicht} und
** ** TimeInterval
ist ein
fall
von die
stunde
15 %n{nicht}
statement
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2143-2143
UnixEpoch
ist gleich die
sekund
0 %n{nicht}
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