Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 7403-7406
(
domain
temporalPart
1
TimePosition
)
Merge.kif 7400-7400
domain
temporalPart
, 1 and
TimePosition
(
domain
temporalPart
2
TimePosition
)
Merge.kif 7401-7401
domain
temporalPart
, 2 and
TimePosition
(
instance
temporalPart
BinaryPredicate
)
Merge.kif 7397-7397
instance
temporalPart
and
BinaryPredicate
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7399-7399
instance
temporalPart
and
PartialOrderingRelation
(
instance
temporalPart
TemporalRelation
)
Merge.kif 7398-7398
instance
temporalPart
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 426-426
(
relatedInternalConcept
typicalTemporalPart
temporalPart
)
Cars.kif 1428-1428
relatedInternalConcept
typicalTemporalPart
and
temporalPart
(
relatedInternalConcept
typicallyContainsTemporalPart
temporalPart
)
Cars.kif 1470-1470
relatedInternalConcept
typicallyContainsTemporalPart
and
temporalPart
(
subrelation
finishes
temporalPart
)
Merge.kif 7516-7516
subrelation
finishes
and
temporalPart
(
subrelation
starts
temporalPart
)
Merge.kif 7494-7494
subrelation
starts
and
temporalPart
(
termFormat
ChineseLanguage
temporalPart
"时间部分")
chinese_format.kif 418-418
termFormat
ChineseLanguage
,
temporalPart
and "时间部分"
(
termFormat
ChineseTraditionalLanguage
temporalPart
"時間部分")
domainEnglishFormat.kif 57390-57390
termFormat
ChineseTraditionalLanguage
,
temporalPart
and "時間部分"
(
termFormat
EnglishLanguage
temporalPart
"temporal part")
domainEnglishFormat.kif 57389-57389
termFormat
EnglishLanguage
,
temporalPart
and "temporal part"
antecedent
(<=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7437-7439
temporalPart
TimePosition
and
WhenFn
Physical
time
Physical
and
TimePosition
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7422-7426
holdsDuring
TimePosition
and
Formula
temporalPart
TimePosition
and
TimePosition
holdsDuring
TimePosition
and
Formula
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
Agent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM)
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL)))
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
)))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1226-1253
instance
Collection
and
Collection
instance
WebSite
and
WebSite
instance
Agent
and
Agent
instance
WebListing
and
WebListing
instance
TimePoint
and
TimePoint
listingSeller
WebListing
and
Agent
member
WebListing
and
Collection
Object
instance
Object
and
WebListing
member
Object
and
SellersItemsFn
Agent
and
WebSite
temporalPart
TimePoint
and
WhenFn
Object
equal
Object
and
WebListing
member
Object
and
Collection
Object
member
Object
and
Collection
temporalPart
TimePoint
and
WhenFn
Object
instance
Object
and
WebListing
equal
SellersOtherItemsFn
Agent
,
WebSite
,
WebListing
and
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
instance
TimePosition
and
EasterSunday
temporalPart
TimePosition
and
TimePosition
instance
TimePosition
and
Month
instance
TimePosition
and
March
instance
TimePosition
and
April
instance
TimePosition
and
May
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8617-8624
instance
TimeInterval
and
Friday
instance
TimeInterval
and
Saturday
instance
TimePosition
and
Week
temporalPart
TimeInterval
and
TimePosition
temporalPart
TimeInterval
and
TimePosition
meetsTemporally
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8565-8572
instance
TimeInterval
and
Monday
instance
TimeInterval
and
Tuesday
instance
TimePosition
and
Week
temporalPart
TimeInterval
and
TimePosition
temporalPart
TimeInterval
and
TimePosition
meetsTemporally
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8630-8637
instance
TimeInterval
and
Saturday
instance
TimeInterval
and
Sunday
instance
TimePosition
and
Week
temporalPart
TimeInterval
and
TimePosition
temporalPart
TimeInterval
and
TimePosition
meetsTemporally
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 8639-8648
instance
TimeInterval
and
Sunday
instance
TimeInterval
and
Monday
instance
TimeInterval
and
Week
instance
TimeInterval
and
Week
temporalPart
TimeInterval
and
TimeInterval
temporalPart
TimeInterval
and
TimeInterval
meetsTemporally
TimeInterval
and
TimeInterval
meetsTemporally
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8604-8611
instance
TimeInterval
and
Thursday
instance
TimeInterval
and
Friday
instance
TimePosition
and
Week
temporalPart
TimeInterval
and
TimePosition
temporalPart
TimeInterval
and
TimePosition
meetsTemporally
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8578-8585
instance
TimeInterval
and
Tuesday
instance
TimeInterval
and
Wednesday
instance
TimePosition
and
Week
temporalPart
TimeInterval
and
TimePosition
temporalPart
TimeInterval
and
TimePosition
meetsTemporally
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8591-8598
instance
TimeInterval
and
Wednesday
instance
TimeInterval
and
Thursday
instance
TimePosition
and
Week
temporalPart
TimeInterval
and
TimePosition
temporalPart
TimeInterval
and
TimePosition
meetsTemporally
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 1448-1465
typicalTemporalPart
Process
and
Process
instance
Entity
and
Process
equal
Process
PROB and
ProbabilityFn
entity
instance
entity
and
Process
temporalPart
Entity
and
entity
equal
RealNumber
and
ProbabilityFn
entity
instance
entity
and
Process
temporalPart
Entity
and
entity
greaterThan
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 1488-1505
typicallyContainsTemporalPart
Process
and
Process
instance
Entity
and
Process
equal
Process
PROB and
ProbabilityFn
entity
instance
entity
and
Process
temporalPart
entity
and
Entity
equal
RealNumber
and
ProbabilityFn
entity
instance
entity
and
Process
temporalPart
entity
and
Entity
greaterThan
Process
PROB and
RealNumber
consequent
(<=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 7647-7653
overlapsTemporally
TimeInterval
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
temporalPart
TimePosition
and
TimeInterval
temporalPart
TimePosition
and
TimeInterval
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1938-1943
birthdate
JesusOfNazareth
and
Day
instance
TimeInterval
and
YearFn
-6
instance
TimeInterval
and
YearFn
4
temporalPart
Day
and
TimeIntervalFn
BeginFn
TimeInterval
and
EndFn
TimeInterval
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1945-1950
deathdate
JesusOfNazareth
and
Day
instance
TimeInterval
and
YearFn
29
instance
TimeInterval
and
YearFn
36
temporalPart
Day
and
TimeIntervalFn
BeginFn
TimeInterval
and
EndFn
TimeInterval
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY ?PERIOD))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
starts
?DAY ?FY)
(
temporalPart
?DAY ?YEAR))))
Economy.kif 3755-3764
equal
TimeInterval
and
FiscalYearStartingFn
Agent
and
Year
fiscalYearPeriod
Agent
and
TimeInterval
instance
TimeInterval
and
TimeInterval
TimeInterval
instance
TimeInterval
and
Day
starts
TimeInterval
and
TimeInterval
temporalPart
TimeInterval
and
Year
(=>
(
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
holdsDuring
TimePosition
and
attribute
Entity
and
Expellee
citizen
Entity
and
entity
-NATION
instance
TimePosition
and
TimeInterval
Process
Object
instance
Object
and
Nation
equal
Object
and
entity
-NATION
instance
Process
and
Translocation
origin
Process
and
Object
patient
Process
and
Entity
destination
Process
and
entity
-NATION
temporalPart
TimePosition
and
WhenFn
Process
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 11667-11679
instance
Process
and
Decoding
patient
Process
and
ContentBearingPhysical
entity
ContentBearingPhysical
and
TimePosition
containsInformation
ContentBearingPhysical
and
Proposition
containsInformation
ContentBearingPhysical
and
Proposition
temporalPart
TimePosition
and
PastFn
WhenFn
Process
holdsDuring
TimePosition
and
instance
entity
and
Encoding
patient
entity
and
ContentBearingPhysical
(=>
(
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 14604-14616
instance
Object
and
GameGoal
instrument
Process
and
Object
instance
Process
and
Game
subProcess
Process
and
Process
instance
Process
and
Score
Entity
TimePosition
instance
Entity
and
GamePiece
patient
Process
and
Entity
temporalPart
TimePosition
and
WhenFn
Process
holdsDuring
TimePosition
and
located
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
instance
TimeInterval
and
Hanukkah
equal
TimePoint
and
BeginFn
TimeInterval
TimePosition
temporalPart
TimePoint
and
TimePosition
instance
TimePosition
and
Month
instance
TimePosition
and
November
instance
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 11202-11210
instance
Process
and
Keeping
patient
Process
and
Entity
entity
TimePosition
temporalPart
TimePosition
and
WhenFn
Process
holdsDuring
TimePosition
and
located
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 20088-20101
instance
Attribute
and
OccupationalRole
typicalAction
Process
and
AttrFn
CognitiveAgent
and
Attribute
Process
TimePosition
,
Agent
and
Agent
T
instance
Process
and
CognitiveAgent
holdsDuring
TimePosition
and
attribute
Process
and
Attribute
instance
Agent
and
Process
agent
Process
and
Agent
time
Agent
and
Agent
T
temporalPart
Agent
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 7765-7774
instance
TimePoint
and
TimePoint
instance
TimePoint
and
TimePoint
instance
TimeInterval
and
TimeInterval
equal
TimeIntervalFn
TimePoint
and
TimePoint
and
TimeInterval
TimePoint
temporallyBetweenOrEqual
TimePoint
,
TimePoint
and
TimePoint
temporalPart
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 15843-15877
instance
Object
and
Saw
instance
Process
and
Cutting
instrument
Process
and
Object
instance
Object
and
Object
patient
Process
and
Object
Process
Entity
,
Entity
,
TimeInterval
,
TimePosition
,
TimePosition
and
Object
instance
Process
and
Motion
subProcess
Process
and
Process
instance
Object
and
CuttingDevice
part
Object
and
Object
meetsSpatially
Object
and
Object
patient
Process
and
Object
instance
TimePosition
and
TimeInterval
instance
TimePosition
and
TimeInterval
equal
WhenFn
Process
and
TimeInterval
temporalPart
TimeInterval
and
TimePosition
temporalPart
TimeInterval
and
TimePosition
instance
Entity
and
DirectionalAttribute
instance
Entity
and
DirectionalAttribute
holdsDuring
TimePosition
and
direction
Process
and
Entity
holdsDuring
TimePosition
and
direction
Process
and
Entity
equal
Entity
and
Entity
oppositeDirection
Entity
and
Entity
~{
equal
Entity
and
Entity
} ~{
oppositeDirection
Entity
and
Entity
}
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1961-1965
instance
TimeInterval
and
YearFn
26
instance
TimeInterval
and
YearFn
100
temporalPart
WhenFn
TwelveApostles
and
TimeIntervalFn
BeginFn
TimeInterval
and
EndFn
TimeInterval
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time)
(
and
(
instance
?Period
TimeInterval
)
(
finishes
?Period ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2728-2740
property
Agreement
and
EuropeanStyleOption
agreementExpirationDate
Agreement
and
TimeInterval
TimeInterval
TimeInterval
instance
TimeInterval
and
TimeInterval
finishes
TimeInterval
and
TimeInterval
instance
Physical
and
ExerciseAnOption
equal
WhenFn
Physical
and
TimeInterval
temporalPart
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 12532-12541
subclass
SetOrClass
and
Newspaper
instance
TimePosition
and
Week
Process
Entity
instance
Process
and
Publication
temporalPart
WhenFn
Process
and
TimePosition
result
Process
and
Entity
instance
Entity
and
SetOrClass
(=>
(
and
(
successorAttribute
?ATTR1 ?ATTR2)
(
holdsDuring
?TIME1
(
property
?ENTITY ?ATTR2)))
(
exists
(?TIME2)
(
and
(
temporalPart
?TIME2
(
PastFn
?TIME1))
(
holdsDuring
?TIME2
(
property
?ENTITY ?ATTR1)))))
Merge.kif 683-690
successorAttribute
Attribute
and
Attribute
holdsDuring
TimePosition
and
property
entity
and
Attribute
TimePosition
temporalPart
TimePosition
and
PastFn
TimePosition
holdsDuring
TimePosition
and
property
entity
and
Attribute
(=>
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(=>
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
exists
(?SAMPLE)
(
and
(
temporalPart
(
WhenFn
?PROCESS) ?TIME)
(
experiencer
?PROCESS ?ORGANISM)
(
patient
?PROCESS ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE))))))
WMD.kif 899-910
diseaseTreatment
DiseaseOrSyndrome
,
BiologicallyActiveSubstance
and
Process
holdsDuring
TimePosition
and
attribute
entity
and
DiseaseOrSyndrome
increasesLikelihood
entity
temporalPart
WhenFn
Process
and
TimePosition
experiencer
Process
and
entity
patient
Process
and
entity
instance
entity
and
BiologicallyActiveSubstance
and
holdsDuring
ImmediateFutureFn
TimePosition
and
attribute
entity
and
DiseaseOrSyndrome
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 7662-7664
during
TimeInterval
and
TimeInterval
temporalPart
TimeInterval
and
TimeInterval
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7460-7467
equal
BeginFn
TimeInterval
and
TimePoint
TimePoint
temporalPart
TimePoint
and
TimeInterval
equal
TimePoint
and
TimePoint
before
TimePoint
and
TimePoint
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 7478-7485
equal
EndFn
TimeInterval
and
TimePoint
TimePoint
temporalPart
TimePoint
and
TimeInterval
equal
TimePoint
and
TimePoint
before
TimePoint
and
TimePoint
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVAL-TYPE) ?CLASS)
(
forall
(?TIME)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
temporalPart
?TIME ?INTERVAL))
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?CLASS)
(
temporalPart
?TIME ?INSTANCE))))))
Merge.kif 8765-8775
equal
TemporalCompositionFn
TimeInterval
and
TimeInterval
-TYPE and
TimeInterval
TimePosition
instance
TimePosition
and
TimePoint
temporalPart
TimePosition
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
temporalPart
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 7387-7395
frequency
Process
and
TimeDuration
TimeInterval
duration
TimeInterval
and
TimeDuration
TimePosition
temporalPart
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
entity
instance
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 20013-20024
holdsDuring
Physical
and
attribute
entity
and
Veteran
TimePosition
temporalPart
TimePosition
and
PastFn
WhenFn
Physical
holdsDuring
TimePosition
and
attribute
entity
and
Soldier
holdsDuring
Physical
and
attribute
entity
and
Soldier
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 13223-13229
holdsDuring
TimePosition
and
inhabits
entity
and
entity
TimePosition
instance
TimePosition
and
TimeInterval
temporalPart
TimePosition
and
TimePosition
holdsDuring
TimePosition
and
located
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 1834-1841
holdsDuring
TimePosition
and
states
Agent
and
Entity
Process
instance
Process
and
LinguisticCommunication
agent
Process
and
Agent
patient
Process
and
Entity
temporalPart
TimePosition
and
WhenFn
Process
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners