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
temporalPart
Sigma KEE - temporalPart
temporalPart
appearance as argument number 1
(
documentation
temporalPart
ChineseLanguage
"这是类似空间谓词
part
的时间部分。 (
temporalPart
?POS1 ?POS2)的意思是
TimePosition
?POS1 是
TimePosition
?POS2 的一部分。 注:因为
temporalPart
是
ReflexiveRelation
,所以每个 TimePostion 都是它本身的 一个
temporalPart
。")
chinese_format.kif 2693-2696
(
documentation
temporalPart
EnglishLanguage
"The temporal analogue of the spatial
part
predicate. (
temporalPart
?POS1 ?POS2) means that
TimePosition
?POS1 is part of
TimePosition
?POS2. Note that since
temporalPart
is a
ReflexiveRelation
every TimePostion is a
temporalPart
of itself.")
Merge.kif 7935-7938
(
documentation
temporalPart
JapaneseLanguage
"空間
part
述部の時間アナログ。(
temporalPart
?POS1 ?POS2) とは、
TimePosition
?POS1が
TimePosition
?POS2 の一部であることを意味する。 注:
temporalPart
はすべての TimePostion の
ReflexiveRelation
であるため、それ自体の TimePostion である。")
japanese_format.kif 1416-1419
(
domain
temporalPart
1
TimePosition
)
Merge.kif 7932-7932
temporalPart
の数値 1 引数は
時間位置
の
instance
では %n
(
domain
temporalPart
2
TimePosition
)
Merge.kif 7933-7933
temporalPart
の数値 2 引数は
時間位置
の
instance
では %n
(
instance
temporalPart
BinaryPredicate
)
Merge.kif 7929-7929
temporalPart
は
2進述語
の
instance
では %n
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7931-7931
temporalPart
は
半順序関係
の
instance
では %n
(
instance
temporalPart
TemporalRelation
)
Merge.kif 7930-7930
temporalPart
は
時間関係
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
temporalPart
"%1 时段 %n 是 %2 时段 的一
part
")
chinese_format.kif 417-417
(
format
EnglishLanguage
temporalPart
"%1 is %n a
part
of %2")
english_format.kif 423-423
(
format
FrenchLanguage
temporalPart
"%1 est %n une
part
ie de %2")
french_format.kif 243-243
(
format
ItalianLanguage
temporalPart
"%1 è %n una
part
e di%2")
relations-it.txt 296-296
(
format
JapaneseLanguage
temporalPart
"%1 は %2 の
part
では %n")
japanese_format.kif 2037-2037
(
format
PortugueseLanguage
temporalPart
"%1 e' %n uma &parte de %2")
portuguese_format.kif 195-195
(
format
cz
temporalPart
"%1 %p{je} %n{nen�} a
part
of %2'")
relations-cz.txt 248-248
(
format
de
temporalPart
"%1 ist ein teil von %2 %n{nicht}")
relations-de.txt 541-541
(
format
hi
temporalPart
"%1 %2 kaa bhaaga %n hai")
relations-hindi.txt 332-332
(
format
ro
temporalPart
"%1 %n{nu} este o
part
%t{parte} a lui %2")
relations-ro.kif 264-264
(
format
sv
temporalPart
"%1 är %n{inte} en
de
l av %2")
relations-sv.txt 264-264
(
format
tg
temporalPart
"%1 %n ay ang bahagi ng %2")
relations-tg.txt 488-488
(
relatedInternalConcept
typicalTemporalPart
temporalPart
)
Cars.kif 1433-1433
typicalTemporalPart
は
temporalPart
に
internally
関連して %n
(
relatedInternalConcept
typicallyContainsTemporalPart
temporalPart
)
Cars.kif 1475-1475
typicallyContainsTemporalPart
は
temporalPart
に
internally
関連して %n
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
finishes
は
temporalPart
の
subrelation
では %n
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
starts
は
temporalPart
の
subrelation
では %n
(
termFormat
ChineseLanguage
temporalPart
"时间部分")
chinese_format.kif 418-418
(
termFormat
ChineseTraditionalLanguage
temporalPart
"時間部分")
domainEnglishFormat.kif 57451-57451
(
termFormat
EnglishLanguage
temporalPart
"temporal part")
domainEnglishFormat.kif 57450-57450
antecedent
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
時点
は
時点
の
instance
では %n
時点
は
時点
の
instance
では %n
時点
は
時間間隔
の
part
では %n
時点
は
時間間隔
の
part
では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7954-7958
公式
は
時間位置
の
during
holds %n{ない}
時間位置
は
時間位置
の
part
では %n
公式
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
コレクション
は
コレクション
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
時点
は
時点
の
instance
では %n
listingSeller
WebListing
and
AutonomousAgent
WebListing
は
コレクション
の
member
では
物理
物理
物理
は
WebListing
の
instance
では %n
物理
は
SellersItemsFn
AutonomousAgent
and
WebSite
の
member
では %n
時点
は
物理
の
time
の existence の
part
では %n
物理
は
WebListing
と
equal
では
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
時点
は
物理
の
time
の existence の
part
では %n
物理
は
WebListing
の
instance
では %n
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
時点
は
コレクション
と
equal
では %n
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
時間位置
は
EasterSunday
の
instance
では %n
時間位置
は
時間位置
の
part
では %n
時間位置
は
月
の
instance
では %n
時間位置
は
3月
の
instance
では %n
時間位置
は
4月
の
instance
では %n
時間位置
は
5月
の
instance
では %n
(=>
(
and
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
temporalPart
?D1
(
WeekBeforeFn
?D2))
(
temporalPart
?D2
(
WeekAfterFn
?D1)))
(
exists
(?N1)
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?N1
(
SubtractionFn
?N2 7)))))
Mid-level-ontology.kif 14837-14846
時間位置
は
正の整数
day
目 の
instance
では %n
時間位置
は
WeekBeforeFn
時間位置
の
part
では %n
時間位置
は
WeekAfterFn
時間位置
の
part
では %n
正の整数
時間位置
は
正の整数
day
目 の
instance
では %n
正の整数
は (
正の整数
+ 7) と
equal
では %n
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
時間間隔
は
金曜日
の
instance
では %n
時間間隔
は
土曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
時間間隔
は
月曜日
の
instance
では %n
時間間隔
は
火曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
時間間隔
は
土曜日
の
instance
では %n
時間間隔
は
日曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
時間間隔
は
日曜日
の
instance
では %n
時間間隔
は
月曜日
の
instance
では %n
時間間隔
は
週
の
instance
では %n
時間間隔
は
週
の
instance
では %n
時間間隔
は
時間間隔
の
part
では %n
時間間隔
は
時間間隔
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
時間間隔
は
木曜日
の
instance
では %n
時間間隔
は
金曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
時間間隔
は
火曜日
の
instance
では %n
時間間隔
は
水曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
時間間隔
は
水曜日
の
instance
では %n
時間間隔
は
木曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8242-8247
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
時間間隔
の
part
では %n
時間位置
は
時間間隔
の
part
では %n
時間間隔
は
時間間隔
と
overlap
s %n{dない}
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8298-8303
時間位置
は
時間位置
の
instance
では %n
時間位置
は
時間間隔
の
part
では %n
時間位置
は
時間間隔
の
part
では %n
時間間隔
は
時間間隔
と
overlap
s %n{dない}
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
typicalTemporalPart
工程
and
工程
エンティティー
は
工程
の
instance
では %n
工程
PROB は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
実数
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
工程
PROB は
実数
より
greater
では %n
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
typicallyContainsTemporalPart
工程
and
工程
エンティティー
は
工程
の
instance
では %n
工程
PROB は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
実数
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
工程
PROB は
実数
より
greater
では %n
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7969-7972
時間位置
は
物理
の
time
の existence の
part
では %n
物理
は
時間位置
の
during
exists %n{ない}
consequent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
birthdate
JesusOfNazareth
and
日
時間間隔
は -6
year
目 の
instance
では %n
時間間隔
は 4
year
目 の
instance
では %n
日
は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
deathdate
JesusOfNazareth
and
日
時間間隔
は 29
year
目 の
instance
では %n
時間間隔
は 36
year
目 の
instance
では %n
日
は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY ?PERIOD))
(
exists
(?DAY ?INST)
(
and
(
instance
?DAY
Day
)
(
starts
?DAY ?FY)
(
instance
?INST ?YEAR)
(
temporalPart
?DAY ?INST))))
Economy.kif 3754-3764
時間間隔
は
FiscalYearStartingFn
AutonomousAgent
and
年
と
equal
では %n
fiscalYearPeriod
AutonomousAgent
and
時間間隔
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
時間位置
時間間隔
は
日
の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
時間位置
は
年
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
-NATION% の
citizen
では %n は
時間位置
の
during
holds %n{ない}
時間位置
は
時間間隔
の
instance
では %n
工程
オブジェクト
オブジェクト
は
国民
の
instance
では %n
オブジェクト
は
エンティティー
-NATION と
equal
では
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
-NATION に
end
s %n{ない}
時間位置
は
工程
の
time
の existence の
part
では %n
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12715-12728
工程
は
復号化
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
エンティティー
ContentBearingPhysical
,
時間位置
and
命題
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
時間位置
は
工程
の
time
の existence の
before
の
part
では %n
エンティティー
は
符号化
の
instance
では %n
ContentBearingPhysical
は
エンティティー
の
patient
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 17051-17063
オブジェクト
は
GameGoal
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
ゲーム
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Score
の
instance
では %n
エンティティー
時間位置
エンティティー
は
GamePiece
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
時間位置
は
工程
の
time
の existence の
part
では %n
エンティティー
は
オブジェクト
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
時間間隔
は
Hanukkah
の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時間位置
時点
は
時間位置
の
part
では %n
時間位置
は
月
の
instance
では %n
時間位置
は
11月
の
instance
では %n
時間位置
は
12月
の
instance
では %n
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
工程
は
保持
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
時間位置
時間位置
は
工程
の
time
の existence の
part
では %n
エンティティー
は
エンティティー
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?O
OccupationalRole
)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O)))
(
exists
(?X ?T ?P ?PT)
(
and
(
instance
?X
CognitiveAgent
)
(
holdsDuring
?T
(
attribute
?X ?O))
(
instance
?P ?PCLASS)
(
agent
?X ?P)
(
time
?P ?PT)
(
temporalPart
?PT ?T))))
Mid-level-ontology.kif 22260-22273
属性
は
OccupationalRole
の
instance
では %n
typicalAction
工程
and
AttrFn
認識エージェント
and
属性
工程
時間位置
,
AutonomousAgent
and
AutonomousAgent
T
工程
は
認識エージェント
の
instance
では %n
属性
は
工程
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
AutonomousAgent
は
工程
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
T の
during
exists %n{ない}
AutonomousAgent
T は
時間位置
の
part
では %n
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
forall
(?POINT)
(<=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT ?POINT2)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 8430-8439
時点
は
時点
の
instance
では %n
時点
は
時点
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時点
と
時点
の
interval
は
時間間隔
と
equal
では %n
時点
時点
は
時点
にも
時点
にもその
between
にも %n
時点
は
時間間隔
の
part
では %n
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
オブジェクト
は
Saw
の
instance
では %n
工程
は
切断
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
エンティティー
,
エンティティー
,
時間間隔
,
時間位置
,
時間位置
and
オブジェクト
工程
は
motion
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
CuttingDevice
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
工程
の
patient
では %n
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
時間間隔
の
instance
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
エンティティー
は
方向属性
の
instance
では %n
エンティティー
は
方向属性
の
instance
では %n
プロセス
工程
のエンテテイは
エンティティー
を
moving
して %n は
時間位置
の
during
holds %n{ない}
プロセス
工程
のエンテテイは
エンティティー
を
moving
して %n
エンティティー
は
エンティティー
と
equal
では %n
oppositeDirection
エンティティー
and
エンティティー
~{
エンティティー
は
エンティティー
と
equal
では %n } ~{
oppositeDirection
エンティティー
and
エンティティー
} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
時間間隔
は 26
year
目 の
instance
では %n
時間間隔
は 100
year
目 の
instance
では %n
TwelveApostles
の
time
の existence は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
Agreement
には
attribute
EuropeanStyleOption
%n{ない}
agreementExpirationDate
Agreement
and
時点
時間間隔
時間間隔
and
物理
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
end
は
時点
と
equal
では %n
物理
は
ExerciseAnOption
の
instance
では %n
物理
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
の
part
では %n
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
クラス
は
Newspaper
の
subclass
では %n
時間位置
は
週
の
instance
では %n
工程
エンティティー
工程
は
出版
の
instance
では %n
工程
の
time
の existence は
時間位置
の
part
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
クラス
の
instance
では %n
(=>
(
classmate
?A1 ?A2 ?COURSE)
(
exists
(?CLASS ?EDU ?TIME)
(
and
(
instance
?CLASS
GroupOfPeople
)
(
instance
?EDU
EducationalProcess
)
(
realization
?EDU ?COURSE)
(
patient
?EDU ?CLASS)
(
temporalPart
?TIME
(
WhenFn
?EDU))
(
memberAtTime
?A1 ?CLASS ?TIME)
(
memberAtTime
?A1 ?CLASS ?TIME))))
Mid-level-ontology.kif 16816-16827
classmate
人[人間]
,
人[人間]
and
EducationalCourse
コレクション
工程
and
時間位置
コレクション
は
GroupOfPeople
の
instance
では %n
工程
は
教育過程
の
instance
では %n
工程
は
EducationalCourse
の内容を
express
es %n{ない}
コレクション
は
工程
の
patient
では %n
時間位置
は
工程
の
time
の existence の
part
では %n
人[人間]
は
時間位置
の最中
コレクション
の
member
では %n
人[人間]
は
時間位置
の最中
コレクション
の
member
では %n
(=>
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
temporalPart
?MO
WinterSeason
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
lessThan
?AMOUNT -3.0))))
Geography.kif 1533-1541
climateTypeInArea
地理的地域
and
ColdClimateZone
時間間隔
実数
時間間隔
は
月
の
instance
では %n
時間間隔
は
WinterSeason
の
part
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s)
実数
は -3.0 より
less
では %n
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
diseaseMedicine
病気または症候群
,
生物活性物質
and
工程
エンティティー
時間位置
,
エンティティー
and
エンティティー
病気または症候群
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
工程
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
の
part
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
生物活性物質
の
instance
では %n は
病気または症候群
は
エンティティー
の
attribute
では は
時間位置
の すぐ
after
の
during
holds %n{ない} の 可能性を
increase
s %n{ない}
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 8258-8260
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
part
では %n
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
時間間隔
の
beginning
は
時点
と
equal
では %n
時点
時点
は
時間間隔
の
part
では %n
時点
は
時点
と
equal
では
時点
は
時点
の
before
に happens %n{ない}
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
時間間隔
の
end
は
時点
と
equal
では %n
時点
時点
は
時間間隔
の
part
では %n
時点
は
時点
と
equal
では
時点
は
時点
の
before
に happens %n{ない}
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
temporalPart
?TIME ?INTERVAL))
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?CLASS)
(
temporalPart
?TIME ?INSTANCE))))))
Merge.kif 9447-9457
時間間隔
を の
時間間隔
TYPEs に
decomposition
は
時間間隔
と
equal
では %n
時間位置
時間位置
は
時点
の
instance
では %n
時間位置
は
時間間隔
の
part
では %n
時間位置
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
時間位置
の
part
では %n
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7917-7927
工程
は
時間分
ごとに
occur
s %n{ない}
時間間隔
時間間隔
の
duration
は
時間分
では %n
時間位置
時間位置
は
時間間隔
の
part
では %n
エンティティー
エンティティー
は
工程
の
instance
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?T1
(
attribute
?H
Veteran
))
(
exists
(?T2)
(
and
(
temporalPart
?T2
(
PastFn
(
WhenFn
?T1)))
(
holdsDuring
?T2
(
attribute
?H
Soldier
))
(
not
(
holdsDuring
?T1
(
attribute
?H
Soldier
))))))
Mid-level-ontology.kif 22203-22214
Veteran
は
エンティティー
の
attribute
では %n は
物理
の
during
holds %n{ない}
時間位置
時間位置
は
物理
の
time
の existence の
before
の
part
では %n
Soldier
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
Soldier
は
エンティティー
の
attribute
では %n は
物理
の
during
hold ない
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14376-14382
エンティティー
は
エンティティー
に
live
s %n{ない} は
時間位置
の
during
holds %n{ない}
時間位置
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
時間位置
の
part
では %n
エンティティー
は
エンティティー
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?T1
(
states
?AGENT ?SENTENCE))
(
exists
(?COMM)
(
and
(
instance
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
temporalPart
?T1
(
WhenFn
?COMM)))))
Media.kif 1844-1851
states
AutonomousAgent
and
エンティティー
は
時間位置
の
during
holds %n{ない}
工程
工程
は
LinguisticCommunication
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
時間位置
は
工程
の
time
の existence の
part
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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