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
WhenFn
Sigma KEE - WhenFn
WhenFn
appearance as argument number 1
(
documentation
WhenFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
Object
或
Process
联系到它存在的准确
TimeInterval
。注:在
TimeInterval
(WhenFn ?THING)以外的 每一个
TimePoint
?TIME, (time ?THING ?TIME) 并不存在")
chinese_format.kif 2736-2738
(
documentation
WhenFn
EnglishLanguage
"A
UnaryFunction
that maps an
Object
or
Process
to the exact
TimeInterval
during which it exists. Note that, for every
TimePoint
?TIME outside of the
TimeInterval
(WhenFn ?THING), (time ?THING ?TIME) does not hold.")
Merge.kif 8436-8439
(
domain
WhenFn
1
Physical
)
Merge.kif 8433-8433
domain
WhenFn
, 1 and
Physical
(
instance
WhenFn
TemporalRelation
)
Merge.kif 8430-8430
instance
WhenFn
and
TemporalRelation
(
instance
WhenFn
TotalValuedRelation
)
Merge.kif 8432-8432
instance
WhenFn
and
TotalValuedRelation
(
instance
WhenFn
UnaryFunction
)
Merge.kif 8431-8431
instance
WhenFn
and
UnaryFunction
(
range
WhenFn
TimeInterval
)
Merge.kif 8434-8434
range
WhenFn
and
TimeInterval
appearance as argument number 2
(
format
ChineseLanguage
WhenFn
"%1 出现 的
time
")
chinese_format.kif 455-455
(
format
EnglishLanguage
WhenFn
"the
time
of existence of %1")
english_format.kif 461-461
(
relatedInternalConcept
WhereFn
WhenFn
)
Merge.kif 4202-4202
relatedInternalConcept
WhereFn
and
WhenFn
(
termFormat
ChineseLanguage
WhenFn
"何时")
domainEnglishFormat.kif 62955-62955
(
termFormat
ChineseLanguage
WhenFn
"何时函数")
chinese_format.kif 456-456
(
termFormat
ChineseTraditionalLanguage
WhenFn
"何時")
domainEnglishFormat.kif 62954-62954
(
termFormat
EnglishLanguage
WhenFn
"when")
domainEnglishFormat.kif 62953-62953
antecedent
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
MeasureFn
RealNumber
and
MilesPerHour
and
TimeDuration
instance
Object
and
Automobile
instance
Process
and
GasPedal
instance
Process
and
Pushing
destination
Process
and
Object
part
InternalCombustionEngine
and
Object
part
Object
and
Object
instance
Object
and
Crankshaft
part
Object
and
InternalCombustionEngine
holdsDuring
WhenFn
Process
and
measure
Object
and
RotationFn
MeasureFn
entity
and
MilesPerHour
and
TimeDuration
modalAttribute
greaterThan
entity
and
RealNumber
and
Likely
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22870-22875
equal
TimePoint
and
BeginFn
WhenFn
Process
equal
TimePoint
and
EndFn
WhenFn
AutonomousAgent
benefits
Process
and
AutonomousAgent
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 29511-29520
equal
TimePoint
and
BeginFn
WhenFn
Process
equal
TimePoint
and
EndFn
WhenFn
AutonomousAgent
suffers
Process
and
AutonomousAgent
before
TimePoint
and
TimePoint
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3229-3243
holdsDuring
Physical
and
attribute
EngineeringComponent
and
起動
holdsDuring
Physical
and
attribute
EngineeringComponent
and
HostReady
equal
Physical
and
ImmediateFutureFn
WhenFn
Physical
instance
EngineeringComponent
and
ComputerDisplay
connectedEngineeringComponents
EngineeringComponent
and
EngineeringComponent
modalAttribute
entity
instance
entity
and
ホームスクリーン
displayedUpon
entity
and
EngineeringComponent
and
Likely
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 523-532
holdsDuring
TimeInterval
and
desires
AutonomousAgent
and
attribute
Entity
and
Dead
instance
AutonomousAgent
URDER and
Murder
agent
AutonomousAgent
URDER and
AutonomousAgent
patient
AutonomousAgent
URDER and
Entity
earlier
TimeInterval
and
WhenFn
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30578-30599
holdsDuring
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
holdsDuring
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
instance
Object
and
Meal
instance
Process
and
Eating
agent
Process
and
AutonomousAgent
resource
Process
and
Object
during
WhenFn
Process
and
TimeInterval
measure
Object
and
MeasureFn
RealNumber
and
Calorie
instance
Object
and
Meal
instance
Process
and
Eating
agent
Process
and
AutonomousAgent
resource
Process
and
Object
during
WhenFn
Process
and
TimeInterval
measure
Object
and
MeasureFn
RealNumber
and
Calorie
modalAttribute
greaterThan
RealNumber
and
RealNumber
and
Likely
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18041-18047
holdsDuring
TimeInterval
and
attribute
AutonomousAgent
and
Embryonic
instance
Process
and
Birth
equal
TimeInterval
and
WhenFn
Process
experiencer
Process
and
AutonomousAgent
overlapsTemporally
TimeInterval
and
TimeInterval
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18019-18025
holdsDuring
TimeInterval
and
attribute
AutonomousAgent
and
Larval
instance
Process
and
Birth
equal
TimeInterval
and
WhenFn
Process
experiencer
Process
and
AutonomousAgent
meetsTemporally
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17036-17046
instance
Process
and
Accelerating
equal
TimeInterval
and
WhenFn
Process
experiencer
Process
and
AutonomousAgent
Process
instance
Process
and
Decelerating
experiencer
Process
and
AutonomousAgent
equal
TimeInterval
and
WhenFn
Process
(=>
(
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 496-509
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
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9768-9790
instance
Object
and
Antacid
instance
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
moves
Motion
and
Object
instance
Object
and
Stomach
part
Object
and
AutonomousAgent
holdsDuring
ImmediatePastFn
WhenFn
Motion
and
Object
は
Object
を
contain
s %n{ない}
instance
Object
and
Fluid
holdsDuring
ImmediateFutureFn
WhenFn
Motion
and
Object
は
Object
を
contain
s %n{ない}
instance
Object
and
Fluid
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
greaterThan
RealNumber
and
RealNumber
(=>
(
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 12242-12256
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
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9829-9851
instance
Object
and
ProtonPumpInhibitor
instance
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
moves
Motion
and
Object
instance
Object
and
Stomach
part
Object
and
AutonomousAgent
holdsDuring
ImmediatePastFn
WhenFn
Motion
and
Object
は
Object
を
contain
s %n{ない}
instance
Object
and
Fluid
holdsDuring
ImmediateFutureFn
WhenFn
Motion
and
Object
は
Object
を
contain
s %n{ない}
instance
Object
and
Fluid
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
greaterThan
RealNumber
and
RealNumber
(=>
(
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 3965-3990
instance
AccessingWebPage
and
AccessingWebPage
instance
Entity
and
WebPage
instance
Process
and
DataTransfer
instance
Object
and
Server
instance
Process
and
Requesting
instance
AutonomousAgent
and
WebBrowser
instance
TimeInterval
and
TimeInterval
patient
AccessingWebPage
and
Entity
agent
Process
and
AutonomousAgent
destination
Process
and
Object
patient
Process
and
Entity
origin
Process
and
Object
destination
Process
and
AutonomousAgent
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
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 482-494
instance
Process
and
Ambulating
equal
TimeInterval
and
WhenFn
Process
Process
Process
instance
Process
and
Stepping
instance
Process
and
Stepping
subProcess
Process
and
Process
subProcess
Process
and
Process
starts
WhenFn
Process
and
TimeInterval
finishes
WhenFn
Process
and
TimeInterval
equal
Process
and
Process
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
instance
Process
and
ArmedReconnaissance
agent
Process
and
CognitiveAgent
patient
Process
and
Entity
holdsDuring
WhenFn
Process
and
enemy
CognitiveAgent
and
Entity
confersRight
entity
instance
entity
and
Attack
agent
entity
and
CognitiveAgent
patient
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
instance
Process
and
AntiSurfaceOperation
patient
Process
and
Entity
holdsDuring
WhenFn
Process
and
located
Entity
and
Entity
instance
Entity
and
WaterArea
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13690-13698
instance
Process
and
Boiling
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Entity
and
PureSubstance
patient
Process
and
Entity
holdsDuring
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfTemperature
greaterThanOrEqualTo
RealNumber
and
RealNumber
(=>
(
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 11567-11574
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
?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 1230-1257
instance
Collection
and
Collection
instance
WebSite
and
WebSite
instance
AutonomousAgent
and
AutonomousAgent
instance
WebListing
and
WebListing
instance
TimePoint
and
TimePoint
listingSeller
WebListing
and
AutonomousAgent
member
WebListing
and
Collection
Physical
Physical
instance
Physical
and
WebListing
member
Physical
and
SellersItemsFn
AutonomousAgent
and
WebSite
temporalPart
TimePoint
and
WhenFn
Physical
equal
Physical
and
WebListing
member
Physical
and
Collection
member
Physical
and
Collection
temporalPart
TimePoint
and
WhenFn
Physical
instance
Physical
and
WebListing
equal
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
TimePoint
and
Collection
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
instance
Proposition
and
ConstitutionFn
GeopoliticalArea
instance
GeopoliticalArea
and
Nation
equal
Government
and
GeopoliticalArea
の
government
instance
WhenFn
Government
and
TimePosition
agreementEffectiveDuring
Proposition
and
TimePosition
subProposition
Proposition
and
Proposition
containsInformation
Formula
and
Proposition
holdsObligation
Formula
and
Government
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
instance
ComputerProcess
and
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
holdsDuring
ImmediatePastFn
WhenFn
ComputerProcess
and
memorySize
DigitalData
and
MeasureFn
RealNumber
and
entity
holdsDuring
ImmediateFutureFn
WhenFn
ComputerProcess
and
memorySize
DigitalData
and
MeasureFn
RealNumber
and
entity
lessThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4564-4574
instance
Process
and
DeletingAnAccount
instance
Entity
and
Account
holdsDuring
ImmediatePastFn
WhenFn
Process
and
hasAccount
AutonomousAgent
and
Entity
patient
Process
and
Entity
agent
Process
and
AutonomousAgent
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
hasAccount
AutonomousAgent
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 12290-12299
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
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 445-458
instance
Process
and
Dodging
agent
Process
and
AutonomousAgent
equal
Process
T and
WhenFn
Process
hasPurpose
Process
and
entity
meetsTemporally
Process
T and
WhenFn
entity
overlapsTemporally
Process
T and
WhenFn
entity
instance
entity
and
Impacting
patient
entity
and
AutonomousAgent
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 12325-12332
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
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 383-416
instance
Year
and
YearFn
Year
EAR
equal
MaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM and
SymbolicString
Entity
instance
Entity
and
SymbolicString
inList
Entity
and
List
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
entity
and
Birth
experiencer
entity
and
entity
instance
entity
and
Human
attribute
entity
and
Male
during
WhenFn
entity
and
Year
equal
WhereFn
entity
and
WhenFn
entity
and
GeopoliticalArea
instance
entity
and
Death
experiencer
entity
and
entity
holdsDuring
WhenFn
entity
and
age
entity
and
MeasureFn
SymbolicString
and
YearDuration
average
List
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
BirthsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 108-123
instance
Year
and
YearFn
Integer
equal
BirthsPerThousandFn
GeopoliticalArea
and
Year
and
RealNumber
equal
DivisionFn
PopulationFn
GeopoliticalArea
and 1000 and
RealNumber
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Birth
experiencer
SymbolicString
and
entity
instance
entity
and
Human
during
WhenFn
SymbolicString
and
Year
equal
WhereFn
SymbolicString
and
WhenFn
SymbolicString
and
GeopoliticalArea
equal
DivisionFn
Integer
and
RealNumber
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 144-159
instance
Year
and
YearFn
Integer
equal
DeathsPerThousandFn
GeopoliticalArea
and
Year
and
RealNumber
equal
DivisionFn
PopulationFn
GeopoliticalArea
and 1000 and
RealNumber
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Death
experiencer
SymbolicString
and
entity
instance
entity
and
Human
during
WhenFn
SymbolicString
and
Year
equal
WhereFn
SymbolicString
and
WhenFn
SymbolicString
and
GeopoliticalArea
equal
DivisionFn
Integer
and
RealNumber
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 264-290
instance
Year
and
YearFn
Integer
equal
DeathsPerThousandLiveBirthsFn
GeopoliticalArea
and
Year
and
RealNumber
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Birth
experiencer
SymbolicString
and
entity
instance
entity
and
Human
during
WhenFn
SymbolicString
and
Year
equal
WhereFn
SymbolicString
and
WhenFn
SymbolicString
and
GeopoliticalArea
equal
DivisionFn
Integer
and 1000 and
RealNumber
equal
entity
DEATHCOUNT and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Death
experiencer
SymbolicString
and
entity
instance
entity
and
Human
age
entity
and
MeasureFn
entity
and
YearDuration
lessThan
entity
and 1
during
WhenFn
SymbolicString
and
Year
equal
WhereFn
SymbolicString
and
WhenFn
SymbolicString
and
GeopoliticalArea
equal
DivisionFn
entity
DEATHCOUNT and
RealNumber
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 429-462
instance
Year
and
YearFn
Integer
equal
FemaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM and
SymbolicString
Entity
instance
Entity
and
SymbolicString
inList
Entity
and
List
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
entity
and
Birth
experiencer
entity
and
entity
instance
entity
and
Human
attribute
entity
and
Female
during
WhenFn
entity
and
Year
equal
WhereFn
entity
and
WhenFn
entity
and
GeopoliticalArea
instance
entity
and
Death
experiencer
entity
and
entity
holdsDuring
WhenFn
entity
and
age
entity
and
MeasureFn
SymbolicString
and
YearDuration
average
List
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 336-368
instance
Year
and
YearFn
Integer
equal
LifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM and
SymbolicString
Entity
instance
Entity
and
SymbolicString
inList
Entity
and
List
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
entity
and
Birth
experiencer
entity
and
entity
instance
entity
and
Human
during
WhenFn
entity
and
Year
equal
WhereFn
entity
and
WhenFn
entity
and
GeopoliticalArea
instance
entity
and
Death
experiencer
entity
and
entity
holdsDuring
WhenFn
entity
and
age
entity
and
MeasureFn
SymbolicString
and
YearDuration
average
List
and
RealNumber
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30139-30152
holdsDuring
TimeInterval
and
attribute
Entity
and
Alone
Entity
Process
equal
Entity
and
Entity
instance
Entity
and
AutonomousAgent
instance
Process
and
SocialInteraction
during
WhenFn
Process
and
TimeInterval
involvedInEvent
Process
and
Entity
involvedInEvent
Process
and
Entity
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 30187-30195
holdsDuring
TimeInterval
and
attribute
AutonomousAgent
and
Mute
Process
instance
Process
and
Speaking
during
WhenFn
Process
and
TimeInterval
agent
Process
and
AutonomousAgent
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 935-942
yearOfFounding
Organization
and
Integer
Process
Integer
EAR
overlapsTemporally
WhenFn
Process
and
Integer
EAR
instance
Integer
EAR and
YearFn
Integer
instance
Process
and
Founding
result
Process
and
Organization
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16695-16704
almaMater
Human
and
PostSecondarySchool
Process
instance
Process
and
EducationalProcess
destination
Process
and
Human
eventLocated
Process
and
PostSecondarySchool
holdsDuring
WhenFn
Process
and
attribute
Human
and
Student
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20542-20549
actedIn
Human
and
ContentBearingPhysical
instance
Process
and
DramaticActing
patient
Process
and
Human
result
Process
and
ContentBearingPhysical
holdsDuring
WhenFn
Process
and
attribute
Human
and
Actor
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18619-18625
agent
Process
and
AutonomousAgent
result
Process
and
Entity
instance
Entity
and
ArtWork
holdsDuring
WhenFn
Process
and
attribute
AutonomousAgent
and
Artist
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?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 6191-6204
allergic
Human
and
Substance
instance
Substance
UB and
Substance
holdsDuring
TimePosition
and
meetsSpatially
Substance
UB 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
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4371-4380
attribute
UserAccount
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
UserAccount
and
TimeInterval
TimeInterval
F
instance
TimeInterval
F and
TwoFactorLoggingIn
agent
TimeInterval
F and
AutonomousAgent
accountUsed
TimeInterval
F and
UserAccount
earlier
WhenFn
TimeInterval
F and
TimeInterval
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
attribute
AutonomousAgent
and
Muslim
equal
WealthFn
AutonomousAgent
and
CurrencyMeasure
modalAttribute
entity
entity
,
entity
,
entity
and
entity
instance
entity
and
Zakat
instance
entity
and
Year
during
entity
and
WhenFn
AutonomousAgent
holdsDuring
entity
and
attribute
AutonomousAgent
and
FullyFormed
agent
entity
and
AutonomousAgent
patient
entity
and
entity
monetaryValue
entity
and
MeasureFn
entity
and
entity
instance
entity
and
UnitOfCurrency
greaterThan
entity
and
MultiplicationFn
CurrencyMeasure
and 0.025 and
Obligation
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
attribute
MusicRecording
and
CoverRecording
instance
MusicRecording
and
MusicRecording
songArtist
MusicRecording
and
CognitiveAgent
musicInterpretation
MusicRecording
and
Music
record
MusicRecording
and
Music
M
MusicRecording
CognitiveAgent
RTIST and
Music
USIC
musicInterpretation
MusicRecording
and
Music
songArtist
MusicRecording
and
CognitiveAgent
RTIST
equal
CognitiveAgent
and
CognitiveAgent
RTIST
record
MusicRecording
and
Music
USIC
before
WhenFn
Music
USIC and
WhenFn
Music
M
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2894-2910
attribute
Agreement
and
FOKOrder
agreementPeriod
Agreement
and
TimeInterval
Process
TimeInterval
instance
Process
and
FillingAnOrder
patient
Process
and
Agreement
equal
WhenFn
Process
and
TimeInterval
starts
TimeInterval
and
TimeInterval
Process
TimeInterval
instance
Process
and
CancellingAnOrder
patient
Process
and
Agreement
equal
WhenFn
Process
and
TimeInterval
starts
TimeInterval
and
TimeInterval
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2930-2946
attribute
Agreement
and
GTCOrder
agreementPeriod
Agreement
and
TimeInterval
Process
TimeInterval
instance
Process
and
FillingAnOrder
patient
Process
and
Agreement
equal
WhenFn
Process
and
TimeInterval
overlapsTemporally
TimeInterval
and
TimeInterval
Process
TimeInterval
instance
Process
and
CancellingAnOrder
patient
Process
and
Agreement
equal
WhenFn
Process
and
TimeInterval
finishes
TimeInterval
and
TimeInterval
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2867-2883
attribute
Agreement
and
IOCOrder
agreementPeriod
Agreement
and
TimeInterval
Process
TimeInterval
instance
Process
and
FillingAnOrder
patient
Process
and
Agreement
equal
WhenFn
Process
and
TimeInterval
starts
TimeInterval
and
TimeInterval
Process
TimeInterval
instance
Process
and
CancellingAnOrder
patient
Process
and
Agreement
equal
WhenFn
Process
and
TimeInterval
starts
TimeInterval
and
TimeInterval
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2022-2043
attribute
FinancialTransaction
and
LimitOrder
partyToAgreement
FinancialTransaction
and
Agreement
attribute
Agreement
and
Broker
orderFor
FinancialTransaction
,
Buying
and
Security
measure
Security
and
PhysicalQuantity
limitPrice
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfCurrency
askPrice
Security
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
AutonomousAgent
lessThanOrEqualTo
RealNumber
and
RealNumber
holdsObligation
KappaFn
SymbolicString
and
instance
SymbolicString
and
Buying
patient
SymbolicString
and
Security
measure
Security
and
PhysicalQuantity
equal
WhenFn
SymbolicString
and
SymbolicString
ingTime
overlapsTemporally
AutonomousAgent
and
SymbolicString
ingTime and
Agreement
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2045-2066
attribute
FinancialTransaction
and
LimitOrder
partyToAgreement
FinancialTransaction
and
Agreement
attribute
Agreement
and
Broker
orderFor
FinancialTransaction
,
Selling
and
Security
measure
Security
and
PhysicalQuantity
limitPrice
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
bidPrice
Security
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
AutonomousAgent
instance
UnitOfMeasure
and
UnitOfCurrency
greaterThanOrEqualTo
RealNumber
and
RealNumber
holdsObligation
KappaFn
SymbolicString
and
instance
SymbolicString
and
Selling
patient
SymbolicString
and
Security
measure
Security
and
PhysicalQuantity
equal
WhenFn
SymbolicString
and
SymbolicString
ingTime
overlapsTemporally
SymbolicString
ingTime and
AutonomousAgent
and
Agreement
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Object
and
CommunalAttribute
instance
Object
and
Table
instance
Process
and
Eating
agent
Process
and
AutonomousAgent
instance
AutonomousAgent
and
GroupOfPeople
eventLocated
Process
and
Object
modalAttribute
entity
entity
and
Object
instance
entity
and
Eating
agent
entity
and
entity
equal
AutonomousAgent
and
entity
instance
entity
and
GroupOfPeople
eventLocated
entity
and
Object
meetsTemporally
WhenFn
Process
and
WhenFn
entity
equal
Object
and
Object
and
Possibility
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13700-13713
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Entity
and
PureSubstance
holdsDuring
TimeInterval
and
measure
Entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfTemperature
greaterThanOrEqualTo
RealNumber
and
RealNumber
holdsDuring
TimeInterval
and
attribute
Entity
and
Gas
Process
overlapsTemporally
WhenFn
Process
and
TimeInterval
instance
Process
and
Boiling
patient
Process
and
Entity
(=>
(
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 684-695
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 18015-18032
decreasesLikelihood
?X ?CUT, ?PAPER, ?CBO and ?INFO
instance
?X and
PaperShredder
instance
?CUT and
Cutting
instrument
?CUT and ?X
instance
?PAPER and
Paper
patient
?CUT and ?PAPER
located
?CBO and ?PAPER
instance
?CBO and
VisualContentBearingObject
containsInformation
?CBO and ?INFO and ?READ
instance
?READ and
Interpreting
patient
?READ and ?INFO
earlier
WhenFn
?CUT and
WhenFn
?READ
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1970-1978
TimeInterval
instance
TimeInterval
and
TimeInterval
finishes
TimeInterval
and
WhenFn
JesusOfNazareth
starts
TimeInterval
and
WhenFn
TwelveApostles
entity
holdsDuring
TimeInterval
and
member
entity
and
TwelveApostles
holdsDuring
TimeInterval
and
friend
entity
and
JesusOfNazareth
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1920-1920
holdsDuring
WhenFn
JesusOfNazareth
and
located
JesusOfNazareth
and
Palestine
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