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 7971-7974
(
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 7968-7968
域
時間部分
, 1 and
TimePosition
(
domain
temporalPart
2
TimePosition
)
Merge.kif 7969-7969
域
時間部分
, 2 and
TimePosition
(
instance
temporalPart
BinaryPredicate
)
Merge.kif 7965-7965
例
時間部分
and
BinaryPredicate
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7967-7967
例
時間部分
and
PartialOrderingRelation
(
instance
temporalPart
TemporalRelation
)
Merge.kif 7966-7966
例
時間部分
and
TemporalRelation
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
and
時間部分
(
relatedInternalConcept
typicallyContainsTemporalPart
temporalPart
)
Cars.kif 1475-1475
相關的內部概念
typicallyContainsTemporalPart
and
時間部分
(
subrelation
finishes
temporalPart
)
Merge.kif 8100-8100
子關係
飾面
and
時間部分
(
subrelation
starts
temporalPart
)
Merge.kif 8068-8068
子關係
啟動
and
時間部分
(
termFormat
ChineseLanguage
temporalPart
"时间部分")
chinese_format.kif 418-418
(
termFormat
ChineseTraditionalLanguage
temporalPart
"時間部分")
domainEnglishFormat.kif 57453-57453
(
termFormat
EnglishLanguage
temporalPart
"temporal part")
domainEnglishFormat.kif 57452-57452
antecedent
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8317-8324
早期
TimeInterval
and
TimeInterval
例
TimePoint
and
TimePoint
例
TimePoint
and
TimePoint
時間部分
TimePoint
and
TimeInterval
時間部分
TimePoint
and
TimeInterval
之前
TimePoint
and
TimePoint
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7990-7994
持有期間
TimePosition
and
Formula
時間部分
TimePosition
and
TimePosition
持有期間
TimePosition
and
Formula
(=>
(
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
例
Collection
and
Collection
例
WebSite
and
WebSite
例
AutonomousAgent
and
AutonomousAgent
例
WebListing
and
WebListing
例
TimePoint
and
TimePoint
AutonomousAgent
sells
WebListing
會員
WebListing
and
Collection
Physical
Physical
例
Physical
and
WebListing
會員
Physical
and 樣品對於
sale
由
AutonomousAgent
在
WebSite
時間部分
TimePoint
and
何時
Physical
等於
Physical
and
WebListing
會員
Physical
and
Collection
會員
Physical
and
Collection
時間部分
TimePoint
and
何時
Physical
例
Physical
and
WebListing
等於
東西對於
sale
由
AutonomousAgent
非列在
WebListing
在
WebSite
期間
TimePoint
and
Collection
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
例
TimePosition
and
EasterSunday
時間部分
TimePosition
and
TimePosition
例
TimePosition
and
Month
例
TimePosition
and
March
例
TimePosition
and
April
例
TimePosition
and
May
(=>
(
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 14864-14873
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
時間部分
TimePosition
and
WeekBeforeFn
TimePosition
時間部分
TimePosition
and
WeekAfterFn
TimePosition
PositiveInteger
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
PositiveInteger
and
減法
PositiveInteger
and 7
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9335-9342
例
TimeInterval
and
Friday
例
TimeInterval
and
Saturday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9283-9290
例
TimeInterval
and
Monday
例
TimeInterval
and
Tuesday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9348-9355
例
TimeInterval
and
Saturday
例
TimeInterval
and
Sunday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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 9357-9366
例
TimeInterval
and
Sunday
例
TimeInterval
and
Monday
例
TimeInterval
and
Week
例
TimeInterval
and
Week
時間部分
TimeInterval
and
TimeInterval
時間部分
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9322-9329
例
TimeInterval
and
Thursday
例
TimeInterval
and
Friday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9296-9303
例
TimeInterval
and
Tuesday
例
TimeInterval
and
Wednesday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9309-9316
例
TimeInterval
and
Wednesday
例
TimeInterval
and
Thursday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8278-8283
例
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8334-8339
例
TimePosition
and
TimePosition
時間部分
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
(=>
(
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
Process
and
Process
例
Entity
and
Process
等於
Process
PROB and
可能性
entity
例
entity
and
Process
時間部分
Entity
and
entity
等於
RealNumber
and
可能性
entity
例
entity
and
Process
時間部分
Entity
and
entity
比較多
Process
PROB and
RealNumber
(=>
(
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
Process
and
Process
例
Entity
and
Process
等於
Process
PROB and
可能性
entity
例
entity
and
Process
時間部分
entity
and
Entity
等於
RealNumber
and
可能性
entity
例
entity
and
Process
時間部分
entity
and
Entity
比較多
Process
PROB and
RealNumber
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 8005-8008
時間部分
TimePosition
and
何時
Physical
時間
Physical
and
TimePosition
consequent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
Day
是
JesusOfNazareth
的
birthdate
例
TimeInterval
and
年
-6
例
TimeInterval
and
年
4
時間部分
Day
and
時間間隔
開始
TimeInterval
and
結束
TimeInterval
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
Day
是
JesusOfNazareth
的
deathdate
例
TimeInterval
and
年
29
例
TimeInterval
and
年
36
時間部分
Day
and
時間間隔
開始
TimeInterval
and
結束
TimeInterval
(=>
(
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
等於
TimeInterval
and
AutonomousAgent
和
年
的
fiscal
開始年分
TimeInterval
是
AutonomousAgent
的
fiscal
年週期
例
TimeInterval
and
TimeInterval
TimeInterval
TimePosition
例
TimeInterval
and
Day
啟動
TimeInterval
and
TimeInterval
例
TimePosition
and
年
時間部分
TimeInterval
and
TimePosition
(=>
(
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
持有期間
TimePosition
and
attribute
Entity
and
被驅逐
公民
Entity
and
entity
-NATION
例
TimePosition
and
TimeInterval
Process
Object
例
Object
and
Nation
等於
Object
and
entity
-NATION
例
Process
and
易位
起源
Process
and
Object
患者
Process
and
Entity
目的地
Process
and
entity
-NATION
時間部分
TimePosition
and
何時
Process
(=>
(
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 12761-12774
例
Process
and
Decoding
患者
Process
and
內容承載物理
entity
內容承載物理
,
TimePosition
and
Proposition
包含信息
內容承載物理
and
Proposition
包含信息
內容承載物理
and
Proposition
時間部分
TimePosition
and
過去
何時
Process
持有期間
TimePosition
and
例
entity
and
Encoding
患者
entity
and
內容承載物理
(=>
(
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 17078-17090
例
Object
and
遊戲目標
儀器
Process
and
Object
例
Process
and
Game
子過程
Process
and
Process
例
Process
and
得分
Entity
TimePosition
例
Entity
and
遊戲片
患者
Process
and
Entity
時間部分
TimePosition
and
何時
Process
持有期間
TimePosition
and
位於
Entity
and
Object
(=>
(
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
例
TimeInterval
and
Hanukkah
等於
TimePoint
and
開始
TimeInterval
TimePosition
時間部分
TimePoint
and
TimePosition
例
TimePosition
and
Month
例
TimePosition
and
November
例
TimePosition
and
December
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12236-12244
例
Process
and
Keeping
患者
Process
and
Entity
entity
TimePosition
時間部分
TimePosition
and
何時
Process
持有期間
TimePosition
and
位於
Entity
and
entity
(=>
(
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 22312-22325
例
Attribute
and
職業角色
Process
是
CognitiveAgent
跟
Attribute
的
attr
的
typical
action
Process
TimePosition
,
AutonomousAgent
and
AutonomousAgent
T
例
Process
and
CognitiveAgent
持有期間
TimePosition
and
attribute
Process
and
Attribute
例
AutonomousAgent
and
Process
agent
Process
and
AutonomousAgent
時間
AutonomousAgent
and
AutonomousAgent
T
時間部分
AutonomousAgent
T and
TimePosition
(=>
(
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 8466-8475
例
TimePoint
and
TimePoint
例
TimePoint
and
TimePoint
例
TimeInterval
and
TimeInterval
等於
時間間隔
TimePoint
and
TimePoint
and
TimeInterval
TimePoint
暫時之間或等於
TimePoint
,
TimePoint
and
TimePoint
時間部分
TimePoint
and
TimeInterval
(=>
(
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 18177-18211
例
Object
and
鋸
例
Process
and
Cutting
儀器
Process
and
Object
例
Object
and
Object
患者
Process
and
Object
Process
Entity
,
Entity
,
TimeInterval
,
TimePosition
,
TimePosition
and
Object
例
Process
and
Motion
子過程
Process
and
Process
例
Object
and
切割裝置
部分
Object
and
Object
空間的符合
Object
and
Object
患者
Process
and
Object
例
TimePosition
and
TimeInterval
例
TimePosition
and
TimeInterval
等於
何時
Process
and
TimeInterval
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
例
Entity
and
DirectionalAttribute
例
Entity
and
DirectionalAttribute
持有期間
TimePosition
and
方向
Process
and
Entity
持有期間
TimePosition
and
方向
Process
and
Entity
等於
Entity
and
Entity
Entity
是
Entity
的
opposite
方向 ~{
等於
Entity
and
Entity
} ~{
Entity
是
Entity
的
opposite
方向 }
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
例
TimeInterval
and
年
26
例
TimeInterval
and
年
100
時間部分
何時
TwelveApostles
and
時間間隔
開始
TimeInterval
and
結束
TimeInterval
(=>
(
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
屬性
協議
and
歐式風格的選擇
協議
有
expiration
TimePoint
TimeInterval
TimeInterval
and
Physical
例
TimeInterval
and
TimeInterval
等於
結束
TimeInterval
and
TimePoint
例
Physical
and
執行一個選項
等於
何時
Physical
and
TimeInterval
時間部分
TimeInterval
and
TimeInterval
(=>
(
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 14816-14825
子類
Class
and
報紙
例
TimePosition
and
Week
Process
Entity
例
Process
and
Publication
時間部分
何時
Process
and
TimePosition
結果
Process
and
Entity
例
Entity
and
Class
(=>
(
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 16843-16854
Human
和
Human
曾經一起參與同一學習過程
教育課程
Collection
Process
and
TimePosition
例
Collection
and
一群人
例
Process
and
EducationalProcess
實現
Process
and
教育課程
患者
Process
and
Collection
時間部分
TimePosition
and
何時
Process
時間上的會員
Human
,
Collection
and
TimePosition
時間上的會員
Human
,
Collection
and
TimePosition
(=>
(
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
寒冷氣候帶
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
時間部分
TimeInterval
and
冬季
1 對於 %3 在 %2 週期的
average
溫度
少於
RealNumber
and -3.0
(=>
(
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
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
entity
TimePosition
,
entity
and
entity
持有期間
TimePosition
and
attribute
entity
and
DiseaseOrSyndrome
增加可能性
例
entity
and
Process
時間部分
何時
entity
and
TimePosition
體驗者
entity
and
entity
患者
entity
and
entity
例
entity
and
BiologicallyActiveSubstance
and
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DiseaseOrSyndrome
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 8294-8296
期間
TimeInterval
and
TimeInterval
時間部分
TimeInterval
and
TimeInterval
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 8034-8041
等於
開始
TimeInterval
and
TimePoint
TimePoint
時間部分
TimePoint
and
TimeInterval
等於
TimePoint
and
TimePoint
之前
TimePoint
and
TimePoint
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8052-8059
等於
結束
TimeInterval
and
TimePoint
TimePoint
時間部分
TimePoint
and
TimeInterval
等於
TimePoint
and
TimePoint
之前
TimePoint
and
TimePoint
(=>
(
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 9483-9493
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimePosition
例
TimePosition
and
TimePoint
時間部分
TimePosition
and
TimeInterval
TimePosition
例
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimePosition
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7953-7963
頻率
Process
and
TimeDuration
TimeInterval
持續時間
TimeInterval
and
TimeDuration
TimePosition
時間部分
TimePosition
and
TimeInterval
持有期間
TimePosition
and
entity
例
entity
and
Process
(=>
(
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 22255-22266
持有期間
Physical
and
attribute
entity
and
老將
TimePosition
時間部分
TimePosition
and
過去
何時
Physical
持有期間
TimePosition
and
attribute
entity
and
士兵
持有期間
Physical
and
attribute
entity
and
士兵
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14422-14428
持有期間
TimePosition
and
棲息
entity
and
entity
TimePosition
例
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimePosition
持有期間
TimePosition
and
位於
entity
and
entity
(=>
(
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
持有期間
TimePosition
and
AutonomousAgent
states
Entity
Process
例
Process
and
語言交流
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
時間部分
TimePosition
and
何時
Process
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