Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
BeginFn
Sigma KEE - BeginFn
BeginFn
appearance as argument number 1
(
documentation
BeginFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimeInterval
和 这个时段开始的
TimePoint
联系起来。")
chinese_format.kif 2697-2698
(
documentation
BeginFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimeInterval
to the
TimePoint
at which the interval begins.")
Merge.kif 7889-7890
(
domain
BeginFn
1
TimeInterval
)
Merge.kif 7886-7886
domain
BeginFn
, 1 and
TimeInterval
(
instance
BeginFn
TemporalRelation
)
Merge.kif 7883-7883
instance
BeginFn
and
TemporalRelation
(
instance
BeginFn
TotalValuedRelation
)
Merge.kif 7885-7885
instance
BeginFn
and
TotalValuedRelation
(
instance
BeginFn
UnaryFunction
)
Merge.kif 7884-7884
instance
BeginFn
and
UnaryFunction
(
range
BeginFn
TimePoint
)
Merge.kif 7887-7887
range
BeginFn
and
TimePoint
appearance as argument number 2
(
format
ChineseLanguage
BeginFn
"%1 的开始")
chinese_format.kif 449-449
(
format
EnglishLanguage
BeginFn
"the beginning of %1")
english_format.kif 455-455
(
termFormat
ChineseLanguage
BeginFn
"开始")
domainEnglishFormat.kif 10568-10568
(
termFormat
ChineseLanguage
BeginFn
"开始函数")
chinese_format.kif 450-450
(
termFormat
ChineseTraditionalLanguage
BeginFn
"開始")
domainEnglishFormat.kif 10567-10567
(
termFormat
EnglishLanguage
BeginFn
"begin")
domainEnglishFormat.kif 10566-10566
antecedent
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 7990-7998
before
BeginFn
TimeInterval
and
BeginFn
TimeInterval
equal
EndFn
TimeInterval
and
EndFn
TimeInterval
finishes
TimeInterval
and
TimeInterval
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 7958-7966
equal
BeginFn
TimeInterval
and
BeginFn
TimeInterval
before
EndFn
TimeInterval
and
EndFn
TimeInterval
starts
TimeInterval
and
TimeInterval
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22343-22348
equal
TimePoint
and
BeginFn
WhenFn
Process
equal
TimePoint
and
EndFn
WhenFn
Agent
benefits
Process
and
Agent
before
TimePoint
and
TimePoint
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 28983-28992
equal
TimePoint
and
BeginFn
WhenFn
Process
equal
TimePoint
and
EndFn
WhenFn
Agent
suffers
Process
and
Agent
before
TimePoint
and
TimePoint
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
equal
?A1
(
AdditionFn
(
YearDuration
49) ?B))
(
equal
?A2
(
AdditionFn
(
YearDuration
52) ?B))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23355-23372
holdsDuring
TimeInterval
and
attribute
Human
and
Menopausal
birthdate
Human
and
RealNumber
equal
RealNumber
and
AdditionFn
YearDuration
49 and
RealNumber
equal
RealNumber
and
AdditionFn
YearDuration
52 and
RealNumber
equal
TimePoint
and
BeginFn
TimeInterval
modalAttribute
greaterThan
TimePoint
and
RealNumber
greaterThan
RealNumber
and
TimePoint
and
Likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
YearDuration
1)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23329-23343
holdsDuring
TimeInterval
and
attribute
Agent
and
Menopausal
equal
RealNumber
and
SubtractionFn
YearDuration
1 and
BeginFn
TimeInterval
equal
TimeInterval
and
TimeIntervalFn
TimeInterval
and
BeginFn
TimeInterval
Process
instance
Process
and
Menstruation
experiencer
Process
and
Agent
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 490-503
instance
Process
and
Ambulating
subProcess
Process
and
Process
instance
Process
and
Stepping
subProcess
Process
and
Process
instance
Process
and
Stepping
equal
Process
START and
BeginFn
WhenFn
Process
equal
Process
START and
BeginFn
WhenFn
Process
before
Process
START and
Process
START
before
Process
START and
Process
START
equal
Process
and
Process
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12145-12159
instance
Process
and
Attaching
patient
Process
and
Entity
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
connected
Entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
connected
Entity
and
Entity
objectAttached
Process
and
Entity
objectAttached
Process
and
Entity
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3966-3991
instance
AccessingWebPage
and
AccessingWebPage
instance
Entity
and
WebPage
instance
Process
and
DataTransfer
instance
Object
and
Server
instance
Process
and
Requesting
instance
Agent
and
WebBrowser
instance
TimeInterval
and
TimeInterval
patient
AccessingWebPage
and
Entity
agent
Process
and
Agent
destination
Process
and
Object
patient
Process
and
Entity
origin
Process
and
Object
destination
Process
and
Agent
patient
Process
and
Entity
subProcess
Process
and
AccessingWebPage
subProcess
Process
and
AccessingWebPage
equal
EndFn
WhenFn
Process
and
BeginFn
TimeInterval
equal
EndFn
WhenFn
Process
and
EndFn
TimeInterval
equal
SiteSpeedFn
AccessingWebPage
and
TimeInterval
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2329-2340
instance
TimeInterval
and
BringingGEToFront
patient
TimeInterval
and
Entity
instance
Entity
and
InterfaceWindow
holdsDuring
BeginFn
TimeInterval
and
hasGUEState
Entity
and
Attribute
contraryAttribute
Attribute
and
GUE_UncoveredState
holdsDuring
EndFn
TimeInterval
and
hasGUEState
Entity
and
Attribute
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11480-11487
instance
Process
and
ChangeOfPossession
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
possesses
entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
possesses
entity
and
Entity
equal
entity
and
entity
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12193-12202
instance
Process
and
Detaching
patient
Process
and
Entity
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
connected
Entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
connected
Entity
and
Entity
objectDetached
Process
and
Entity
objectDetached
Process
and
Entity
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8624-8631
instance
TimeInterval
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
instance
TimeInterval
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
equal
TimePoint
and
BeginFn
TimeInterval
equal
TimePoint
and
BeginFn
TimeInterval
greaterThan
PositiveInteger
and
PositiveInteger
before
TimePoint
and
TimePoint
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2442-2455
instance
Process
and
Exporting
patient
Process
and
Entity
instance
Entity
and
GeopoliticalArea
holdsDuring
BeginFn
WhenFn
Process
and
located
Entity
and
Entity
Entity
instance
Entity
and
GeopoliticalArea
Entity
は
Entity
の
geopolitical
部分では
Entity
は
Entity
の
geopolitical
部分では
holdsDuring
EndFn
WhenFn
Process
and
located
Entity
and
Entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2431-2440
instance
Process
and
Exporting
patient
Process
and
Entity
instance
Entity
and
GeopoliticalArea
holdsDuring
BeginFn
WhenFn
Process
and
located
Entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
located
Entity
and
Entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2466-2476
instance
Process
and
Exporting
patient
Process
and
Entity
instance
Object
and
GeopoliticalArea
instance
Physical
and
GeopoliticalArea
holdsDuring
BeginFn
WhenFn
Process
and
located
Entity
and
Object
holdsDuring
EndFn
WhenFn
Process
and
located
Entity
and
Physical
located
Physical
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
?INTERVAL1
TimeInterval
)
(
instance
?INTERVAL2
TimeInterval
)
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
equal
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
equal
?INTERVAL1 ?INTERVAL2))
Merge.kif 8256-8266
instance
TimeInterval
and
TimeInterval
instance
TimeInterval
and
TimeInterval
equal
BeginFn
TimeInterval
and
BeginFn
TimeInterval
equal
EndFn
TimeInterval
and
EndFn
TimeInterval
equal
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
equal
?T1
(
BeginFn
?M1))
(
equal
?T2
(
BeginFn
?M2))
(
successorClass
?N1 ?N2))
(
before
?T1 ?T2))
Merge.kif 8608-8615
instance
TimeInterval
and
MonthFn
Month
and
YearFn
Integer
instance
TimeInterval
and
MonthFn
Month
and
YearFn
Integer
equal
TimePoint
and
BeginFn
TimeInterval
equal
TimePoint
and
BeginFn
TimeInterval
successorClass
Month
and
Month
before
TimePoint
and
TimePoint
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 18933-18945
instance
Process
and
Oxidation
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
electronNumber
Entity
and
RealNumber
RealNumber
lessThan
RealNumber
and
RealNumber
holdsDuring
EndFn
WhenFn
Process
and
electronNumber
Entity
and
RealNumber
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER))))
Mid-level-ontology.kif 17054-17071
instance
TimeInterval
and
Pulling
origin
TimeInterval
and
Object
agent
TimeInterval
and
Agent
holdsDuring
BeginFn
TimeInterval
and
located
Agent
and
Agent
LOC
destination
TimeInterval
and
Entity
holdsDuring
ImmediateFutureFn
BeginFn
TimeInterval
and
distance
Agent
LOC,
Entity
and
MeasureFn
entity
and
entity
distance
Agent
LOC,
Object
and
MeasureFn
entity
and
entity
greaterThan
entity
and
entity
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER))))
Mid-level-ontology.kif 17033-17050
instance
TimeInterval
and
Pushing
origin
TimeInterval
and
Object
agent
TimeInterval
and
Agent
holdsDuring
BeginFn
TimeInterval
and
located
Agent
and
Agent
LOC
destination
TimeInterval
and
Entity
holdsDuring
ImmediateFutureFn
BeginFn
TimeInterval
and
distance
Agent
LOC,
Entity
and
MeasureFn
entity
and
entity
distance
Agent
LOC,
Object
and
MeasureFn
entity
and
entity
greaterThan
entity
and
entity
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
Agent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1703-1725
instance
TimeInterval
and
TimeInterval
_CLASS
subclass
TimeInterval
_CLASS and
Process
instance
AccessingWebPage
and
AccessingWebPage
instance
Agent
and
Agent
agent
TimeInterval
and
Agent
agent
AccessingWebPage
and
Agent
during
TimeInterval
and
AccessingWebPage
instance
Physical
and
TimeInterval
TimeInterval
instance
TimeInterval
and
TimeInterval
_CLASS
agent
TimeInterval
and
Agent
during
TimeInterval
and
AccessingWebPage
before
BeginFn
WhenFn
TimeInterval
and
BeginFn
WhenFn
TimeInterval
equal
BeginFn
WhenFn
AccessingWebPage
and
BeginFn
WhenFn
Physical
equal
BeginFn
WhenFn
TimeInterval
and
EndFn
WhenFn
Physical
equal
TTFxFn
TimeInterval
_CLASS and
AccessingWebPage
and
Physical
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G))))
Mid-level-ontology.kif 18916-18927
instance
Process
and
ChemicalReduction
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
electronNumber
Entity
and
RealNumber
greaterThan
RealNumber
and
RealNumber
holdsDuring
EndFn
WhenFn
Process
and
electronNumber
Entity
and
RealNumber
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 16934-16939
instance
Process
and
Reversing
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
top
entity
and
Entity
bottom
entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
top
entity
and
Entity
bottom
entity
and
Entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12228-12235
instance
Process
and
Combining
resource
Process
and
Object
result
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
part
Object
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
part
Object
and
Entity
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?S ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 5907-5920
allergic
Human
and
Substance
instance
Substance
UB and
Substance
holdsDuring
TimePosition
and
meetsSpatially
Substance
and
Human
modalAttribute
entity
instance
entity
and
AllergicReaction
experiencer
entity
and
Human
overlapsTemporally
TimePosition
and
WhenFn
entity
before
BeginFn
TimePosition
and
BeginFn
WhenFn
entity
and
Likely
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1934-1939
birthdate
JesusOfNazareth
and
Day
instance
TimeInterval
and
YearFn
-6
instance
TimeInterval
and
YearFn
4
temporalPart
Day
and
TimeIntervalFn
BeginFn
TimeInterval
and
EndFn
TimeInterval
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 663-674
checkOutTime
CognitiveAgent
and
TimePoint
guest
CognitiveAgent
and
CognitiveAgent
expects
CognitiveAgent
and
entity
entity
instance
entity
and
TimePoint
patient
entity
and
CognitiveAgent
instance
entity
and
CheckOutService
agent
entity
and
CognitiveAgent
before
BeginFn
WhenFn
entity
and
entity
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1941-1946
deathdate
JesusOfNazareth
and
Day
instance
TimeInterval
and
YearFn
29
instance
TimeInterval
and
YearFn
36
temporalPart
Day
and
TimeIntervalFn
BeginFn
TimeInterval
and
EndFn
TimeInterval
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
destination
Process
and
Object
instance
Process
and
Messaging
patient
Process
and
Entity
instance
Object
and
Telex
Process
Entity
instrument
Process
and
Object
result
Process
and
Entity
represents
Entity
and
Entity
instance
Entity
and
Text
before
BeginFn
WhenFn
Process
and
BeginFn
WhenFn
Process
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30070-30076
firstInstanceCreated
Physical
and
TimePoint
instance
Physical
and
Physical
beforeOrEqual
TimePoint
and
BeginFn
WhenFn
Physical
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3755-3762
holdsDuring
TimeInterval
and
Formula
holdsDuring
TimeInterval
and
Formula
instance
TimeInterval
and
TimeInterval
instance
TimeInterval
and
TimeInterval
causesProposition
Formula
and
Formula
beforeOrEqual
BeginFn
TimeInterval
and
BeginFn
TimeInterval
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1965-1972
inList
Entity
and
ConsecutiveTimeIntervalList
equal
ConsecutiveTimeIntervalList
and
TimeIntervalListFn
TimeInterval
and
TimeDuration
equal
BeginFn
TimeInterval
and
BeginFn
FirstFn
ConsecutiveTimeIntervalList
(=>
(
and
(
initialPart
?C2 ?C1)
(
instance
?PART ?C2))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?C1)
(
holdsDuring
(
BeginFn
(
WhenFn
?PART))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23133-23142
initialPart
Object
and
Object
instance
Physical
and
Object
Entity
instance
Entity
and
Object
holdsDuring
BeginFn
WhenFn
Physical
and
part
Physical
and
Entity
(=>
(
and
(
initiallyContainsPart
?C2 ?C1)
(
instance
?WHOLE ?C1))
(
exists
(?PART)
(
and
(
instance
?PART ?C2)
(
holdsDuring
(
BeginFn
(
WhenFn
?WHOLE))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23160-23168
initiallyContainsPart
Object
and
Object
instance
Physical
and
Object
Entity
instance
Entity
and
Object
holdsDuring
BeginFn
WhenFn
Physical
and
part
Entity
and
Physical
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 20788-20799
instance
Process
and
Aborting
patient
Process
and
Entity
instance
Entity
and
Woman
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Entity
and
Pregnant
holdsDuring
EndFn
WhenFn
Process
and
attribute
Entity
and
Pregnant
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 999-1012
instance
Process
and
Appointing
patient
Process
and
Entity
entity
entity
holdsDuring
BeginFn
WhenFn
Process
and
occupiesPosition
Entity
,
entity
and
entity
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
occupiesPosition
Entity
,
entity
and
entity
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 16562-16583
instance
Process
and
Accelerating
agent
Process
and
Agent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
holdsDuring
BeginFn
WhenFn
Process
and
measure
Agent
and
SpeedFn
MeasureFn
RealNumber
and
entity
and
MeasureFn
RealNumber
and
entity
holdsDuring
EndFn
WhenFn
Process
and
measure
Agent
and
SpeedFn
MeasureFn
RealNumber
and
entity
and
MeasureFn
RealNumber
and
entity
greaterThan
RealNumber
and
RealNumber
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12418-12431
instance
Process
and
ShapeChange
patient
Process
and
Entity
Entity
instance
Entity
and
ShapeAttribute
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
attribute
Entity
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
attribute
Entity
and
Entity
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12378-12391
instance
Process
and
SurfaceChange
patient
Process
and
Object
Object
entity
superficialPart
Object
and
Object
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Object
and
entity
holdsDuring
EndFn
WhenFn
Process
and
attribute
Object
and
entity
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Object
and
entity
holdsDuring
EndFn
WhenFn
Process
and
attribute
Object
and
entity
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1523-1539
instance
TimeInterval
and
AddToCart
instance
Entity
and
Object
patient
TimeInterval
and
Entity
agent
TimeInterval
and
Agent
Collection
WebSite
and
TimePosition
instance
Collection
and
Collection
instance
WebSite
and
WebSite
instance
TimeInterval
and
TimeInterval
webcart
Agent
,
Collection
and
WebSite
equal
BeginFn
TimeInterval
and
EndFn
TimeInterval
holdsDuring
TimePosition
and
member
Entity
and
Collection
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12122-12129
instance
Process
and
Attaching
patient
Process
and
Entity
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
connected
Entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
connected
Entity
and
Entity
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 15764-15774
instance
Process
and
BecomingDrunk
experiencer
Process
and
Agent
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Agent
and
Sober
holdsDuring
EndFn
WhenFn
Process
and
attribute
Agent
and
Drunk
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 16803-16814
instance
Process
and
Boarding
agent
Process
and
Agent
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
onboard
Agent
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
onboard
Agent
and
Entity
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 16844-16856
instance
Process
and
Deboarding
agent
Process
and
Agent
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
onboard
Agent
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
onboard
Agent
and
Entity
(=>
(
and
(
instance
?B
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 15784-15794
instance
Process
and
SoberingUp
experiencer
Process
and
Agent
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Agent
and
Drunk
holdsDuring
EndFn
WhenFn
Process
and
attribute
Agent
and
Sober
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 20692-20700
instance
Process
and
Bleeding
experiencer
Process
and
Agent
Entity
instance
Entity
and
Blood
holdsDuring
BeginFn
WhenFn
Process
and
part
Entity
and
Agent
holdsDuring
EndFn
WhenFn
Process
and
part
Entity
and
Agent
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13686-13694
instance
Process
and
Boiling
patient
Process
and
Object
Object
part
Object
and
Object
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Object
and
Liquid
holdsDuring
EndFn
WhenFn
Process
and
attribute
Object
and
Gas
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23208-23219
instance
Process
and
CausingHappiness
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Entity
and
Happiness
holdsDuring
EndFn
WhenFn
Process
and
attribute
Entity
and
Happiness
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