Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
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) 并不存在")
Merge.kif 8577-8579
(
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 8573-8576
(
domain
WhenFn
1
Physical
)
Merge.kif 8571-8571
The number 1 argument of
when
is an
instance
of
physical
(
instance
WhenFn
TemporalRelation
)
Merge.kif 8568-8568
When
is an
instance
of
temporal relation
(
instance
WhenFn
TotalValuedRelation
)
Merge.kif 8570-8570
When
is an
instance
of
total valued relation
(
instance
WhenFn
UnaryFunction
)
Merge.kif 8569-8569
When
is an
instance
of
unary function
(
range
WhenFn
TimeInterval
)
Merge.kif 8572-8572
The
range
of
when
is an instance of
time interval
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 275-275
(
relatedInternalConcept
WhereFn
WhenFn
)
Merge.kif 4363-4363
Where
is
internally
related to
when
(
termFormat
ChineseLanguage
WhenFn
"何时函数")
chinese_format.kif 456-456
"何时函数" is the
printable
form
of
when
in
ChineseLanguage
(
termFormat
EnglishLanguage
WhenFn
"when")
domainEnglishFormat.kif 10922-10922
"when" is the
printable
form
of
when
in
english language
antecedent
(<=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 8186-8188
A time position
is a
part
of the
time
of existence of
a physical
if and only if
the physical
exists
during
the time position
(=>
(
and
(
customer
?CUST ?AGENT)
(
corkageFee
?AMT ?ITEM ?AGENT)
(
instance
?X ?ITEM)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?X)
(
destination
?B ?CUST)
(
origin
?B ?AGENT))))
(
holdsDuring
(
WhenFn
(
located
?CUST ?LOC))
(
and
(
instance
?P
IntentionalProcess
)
(
or
(
patient
?P ?X)
(
resource
?P ?X)
(
instrument
?P ?X))
(
agent
?P ?CUST))))
(
exists
(?C)
(
and
(
instance
?C
Corkage
)
(
agent
?C ?CUST)
(
destination
?C ?AGENT))))
Dining.kif 130-153
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
charges
a currency measure
in
corkage
for
a kind of object
and
an entity
is an
instance
of
a kind of object
and there doesn't exist
a process
such that
the process
is an
instance
of
buying
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the other cognitive agent
and
the process
originate
s at
the cognitive agent
and
another entity
is an
instance
of
intentional process
and
the entity
is a
patient
of
the other entity
or
the entity
is a
resource
for
the other entity
or
the entity
is an
instrument
for
the other entity
and
the other cognitive agent
is an
agent
of
the other entity
holds
during
the
time
of existence of
the other cognitive agent
is
located
at
a third entity
,
then there exists
another process
such that
the other process
is an
instance
of
corkage
and
the other cognitive agent
is an
agent
of
the other process
and
the other process
end
s up at
the cognitive agent
(=>
(
and
(
equal
?PROCESS-START
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENT-END
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESS-START ?AGENT-END))
Mid-level-ontology.kif 20803-20808
If
a process
-START is
equal
to the
beginning
of the
time
of existence of
the process
and
an agent
-END is
equal
to the
end
of the
time
of existence of
the agent
and
the agent
is a beneficiary of
the process
,
then
the process
-START happens
before
the agent
-END
(=>
(
and
(
equal
?PROCESS-START
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENT-END
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESS-START ?AGENT-END))
Mid-level-ontology.kif 27764-27773
If
a process
-START is
equal
to the
beginning
of the
time
of existence of
the process
and
an agent
-END is
equal
to the
end
of the
time
of existence of
the agent
and
the agent
suffers
from
the process
,
then
the process
-START happens
before
the agent
-END
(=>
(
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 3049-3063
If
booting up
is an
attribute
of
an engineering component
holds
during
a physical
and
host ready
is an
attribute
of
the engineering component
holds
during
the physical
2 and
the physical
2 is
equal
to immediately
after
the
time
of existence of
the physical
and
another engineering component
is an
instance
of
ComputerDisplay
and
the other engineering component
is
connected
to
the engineering component
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
home screen
and
the entity
is
displayed
on
the other engineering component
has the
modal
force
of
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 520-529
If
an agent
desire
s
dead
is an
attribute
of
an entity
holds
during
a time interval
and
the agent
URDER is an
instance
of
murder
and
the agent
is an
agent
of
the agent
URDER and
the entity
is a
patient
of
the agent
URDER and
the time interval
happens
earlier
than the
time
of existence of
the agent
URDER,
then
premeditated
is an
attribute
of
the agent
URDER
(=>
(
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 28798-28819
If
dieting
is an
attribute
of
an agent
holds
during
a time interval
and
dieting
is not an
attribute
of
the agent
holds
during
another time interval
and
an object
is an
instance
of
meal
and
a process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and
the object
is a
resource
for
the process
and the
time
of existence of
the process
takes place
during
the time interval
and the
measure
of
the object
is
a real number
calorie
(s) and
another object
is an
instance
of
meal
and
another process
is an
instance
of
eating
and
the agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
and the
time
of existence of
the other process
takes place
during
the other time interval
and the
measure
of
the other object
is
another real number
calorie
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18629-18635
If
embryonic
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
birth
and
another time interval
is
equal
to the
time
of existence of
the process
and
the agent
experience
s
the process
,
then
the other time interval
doesn't
overlap
the time interval
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18598-18604
If
larval
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
birth
and
another time interval
is
equal
to the
time
of existence of
the process
and
the agent
experience
s
the process
,
then
the other time interval
meet
s
the time interval
(=>
(
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 14759-14769
If
a process
is an
instance
of
accelerating
and
a time interval
is
equal
to the
time
of existence of
the process
and
an agent
experience
s
the process
,
then there doesn't exist
another process
such that
the other process
is an
instance
of
decelerating
and
the agent
experience
s
the other process
and
the time interval
is
equal
to the
time
of existence of
the other process
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1-START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2-START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1-START ?S2-START)
(
before
?S2-START ?S1-START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 676-689
If
a process
is an
instance
of
ambulating
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
stepping
and
a third process
is a
subprocess
of
the process
and
the third process
is an
instance
of
stepping
and
the other process
-START is
equal
to the
beginning
of the
time
of existence of
the other process
and
the third process
-START is
equal
to the
beginning
of the
time
of existence of
the third process
and
the other process
-START happens
before
the third process
-START and
the third process
-START happens
before
the other process
-START,
then
the other process
is
equal
to
the third process
(=>
(
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 3954-3979
If
an AccessingWebPage
is an
instance
of
AccessingWebPage
and
an entity
is an
instance
of
WebPage
and
a process
is an
instance
of
data transfer
and
an object
is an
instance
of
server
and
another process
is an
instance
of
requesting
and
an agent
is an
instance
of
web browser
and
a time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the AccessingWebPage
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the entity
is a
patient
of
the other process
and
the process
originate
s at
the object
and
the process
end
s up at
the agent
and
the entity
is a
patient
of
the process
and
the process
is a
subprocess
of
the AccessingWebPage
and
the other process
is a
subprocess
of
the AccessingWebPage
and the
end
of the
time
of existence of
the other process
is
equal
to the
beginning
of
the time interval
and the
end
of the
time
of existence of
the process
is
equal
to the
end
of
the time interval
,
then the time to
access
in
the AccessingWebPage
is
equal
to
the time interval
(=>
(
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 661-673
If
a process
is an
instance
of
ambulating
and
a time interval
is
equal
to the
time
of existence of
the process
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
stepping
and
the third process
is an
instance
of
stepping
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and the
time
of existence of
the other process
start
s
the time interval
and the
time
of existence of
the third process
finish
es
the time interval
and
the other process
is not
equal
to
the third 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
If
a process
is an
instance
of
armed reconnaissance
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the cognitive agent
and
the entity
are enemies of each other holds
during
the
time
of existence of
the process
,
then
the process
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
attack
and
the cognitive agent
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 654-660
If
a process
is an
instance
of
anti surface operation
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then
the other entity
is an
instance
of
water area
(=>
(
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 13820-13828
If
a process
is an
instance
of
boiling
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
of
a kind of pure substance
and
the entity
is a
patient
of
the process
and the
measure
of
the entity
is
a quantity
the unit of measure
(s) holds
during
the
time
of existence of
the process
and
the unit of measure
is an
instance
of
UnitOfTemperature
,
then
the quantity
is
greater
than or equal to
the real number
(=>
(
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 11600-11607
If
a process
is an
instance
of
change of possession
and
an entity
is a
patient
of
the process
and
another entity
possess
es
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
a third entity
possess
es
the entity
holds
during
the
end
of the
time
of existence of
the process
,
then
the other entity
is not
equal
to
the third entity
(=>
(
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 1229-1256
If
a collection
is an
instance
of
collection
and
a WebSite
is an
instance
of
WebSite
and
an agent
is an
instance
of
agent
and
a web listing
is an
instance
of
web listing
and
a time point
is an
instance
of
time point
and
the agent
sells
the web listing
and
the web listing
is not a
member
of
the collection
and for all
an object
if
the object
is an
instance
of
web listing
and
the object
is a
member
of items for
sale
by
the agent
at
the WebSite
and
the time point
is a
part
of the
time
of existence of
the object
and
the object
is not
equal
to
the web listing
,
then
the object
is a
member
of
the collection
and for all
another object
if
the other object
is a
member
of
the collection
,
then
the time point
is a
part
of the
time
of existence of
the object
and
the other object
is an
instance
of
web listing
,
then things for
sale
by
the agent
not listed in
the web listing
at
the WebSite
during
the time point
is
equal
to
the collection
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
agreementEffectiveDuring
?AGR
(
WhenFn
?GOV))
(
subProposition
?PART ?AGR)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 768-776
If
an entity
is an
instance
of the
constitution
of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
a government
is
equal
to the
government
of
the geopolitical area
and the
time
of existence of
the government
is an
agreement
effective during of
a proposition
and
another proposition
is a
sub
-proposition of
the proposition
and
a formula
contain
s information
the other proposition
,
then
the government
is
obliged
to perform tasks of type
the formula
(=>
(
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 1920-1928
If
a computer process
is an
instance
of
data compression
and
a digital data
is
processed
by
the computer process
and
the digital data
requires
a quantity
an entity
(s) holds
during
immediately
before
the
time
of existence of
the computer process
and
the digital data
requires
another quantity
the entity
(s) holds
during
immediately
after
the
time
of existence of
the computer process
,
then
the other quantity
is
less
than
the quantity
(=>
(
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 610-623
If
a process
is an
instance
of
dodging
and
an agent
is an
agent
of
the process
and
the process
T is
equal
to the
time
of existence of
the process
,
then
the process
has
purpose
there doesn't exist
an entity
such that
the process
T
meet
s the
time
of existence of
the entity
or the
time
of existence of
the entity
overlap
s
the process
T and
the entity
is an
instance
of
impacting
and
the agent
is a
patient
of
the entity
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 6338-6352
If
a process
is an
instance
of
deposition
and
an entity
is a
patient
of
the process
and the
measure
of
the entity
is
a quantity
joule
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
measure
of
the entity
is
another quantity
joule
(s) holds
during
immediately
after
the
time
of existence of
the process
,
then
the other quantity
is
less
than
the quantity
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11929-11938
If
a process
is an
instance
of
discovering
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
learning
and
the other process
is a
subprocess
of
the process
and
the entity
is
located
at
the other entity
is a
patient
of
the other process
(=>
(
and
(
instance
?Deposit
Deposit
)
(
time
?Deposit ?TimeOfDeposit)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount)
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit)) ?Balance1)
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit)) ?Balance2))
FinancialOntology.kif 428-437
If
a financial transaction
is an
instance
of
deposit
and
the financial transaction
exists
during
a time position
and
a financial account
is an
instance
of
financial account
and
the financial transaction
end
s up at the
currency
of
the financial account
and
a currency measure
is a
transaction
amount of
the financial transaction
and
the financial account
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another currency measure
and
a third currency measure
is
equal
to (
the other currency measure
and
the currency measure
),
then
the financial account
current
account balance immediately
after
after
the financial transaction
for
the third currency measure
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
price
?Stock ?Price1 ?Time1))
(
exists
(?Transaction ?Time2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock ?Price2 ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3128-3141
If
a process
is an
instance
of
downtick
and
a physical
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
an agent
and
the physical
price
a currency measure
for
the agent
,
then there exist
another process
and
another agent
such that
the other process
is an
instance
of
stock market transaction
and
the physical
is a
patient
of
the other process
and the
time
of existence of
the other process
is
equal
to
the other agent
and
the other agent
meet
s
the agent
and
the physical
price
another currency measure
for
the other agent
and
the other currency measure
is
greater
than
the currency measure
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 12376-12383
A process
is an
instance
of
combining
and
an object
is a
resource
for
the process
and
an entity
is a
result
of
the process
if and only if
the object
is not a
part
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the object
is a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(<=>
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
))
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS))))
Merge.kif 8386-8390
A physical
exists
during
a time point
and
the time point
is an
instance
of
time point
if and only if
the time point
is
between
or at the
beginning
of the
time
of existence of
the physical
and the
end
of the
time
of existence of
the physical
(<=>
(
cooccur
?PHYS1 ?PHYS2)
(
equal
(
WhenFn
?PHYS1)
(
WhenFn
?PHYS2)))
Merge.kif 8500-8502
A physical
occur
s at the same time as
another physical
if and only if the
time
of existence of
the physical
is
equal
to the
time
of existence of
the other physical
(<=>
(
equal
(
BirthsPerThousandFn
?AREA
(
YearFn
?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)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 104-117
The
births
per thousand of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if the
population
of
the geopolitical area
and 1000 is
equal
to
a quantity
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the quantity
is
equal
to
the real number
(<=>
(
equal
(
DeathsPerThousandFn
?AREA
(
YearFn
?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)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 138-151
The
deaths
per thousand of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if the
population
of
the geopolitical area
and 1000 is
equal
to
a quantity
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the quantity
is
equal
to
the real number
(<=>
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?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)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 253-277
The
deaths
per thousand live births of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and 1000 is
equal
to
a quantity
and
a third integer
is
equal
to the number of
instances
in the
class
described by
another symbolic string
and
the third integer
and
the quantity
is
equal
to
the real number
(<=>
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
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)
(
YearFn
?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 411-442
The
female
life expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
(<=>
(
equal
(
LifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
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)
(
YearFn
?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 323-353
The
life
expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
(<=>
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
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)
(
YearFn
?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 367-398
The
male
life expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 28418-28426
Mute
is an
attribute
of
an agent
holds
during
a time interval
if and only if there doesn't exist
a process
such that
the process
is an
instance
of
speaking
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
is an
agent
of
the process
(<=>
(
instance
?PROCESS
Creation
)
(
exists
(?PATIENT)
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))))
Merge.kif 12727-12734
A process
is an
instance
of
creation
if and only if there exists
a physical
such that
the physical
is a
patient
of
the process
and
the physical
exists
during
the
end
of the
time
of existence of
the process
and
the physical
doesn't exist
during
the
beginning
of the
time
of existence of
the process
(<=>
(
instance
?PROCESS
Destruction
)
(
exists
(?PATIENT)
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))))))
Merge.kif 12220-12227
A process
is an
instance
of
destruction
if and only if there exists
a physical
such that
the physical
is a
patient
of
the process
and
the physical
exists
during
the
beginning
of the
time
of existence of
the process
and
the physical
doesn't exist
during
the
end
of the
time
of existence of
the process
(=>
(
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 14408-14417
If
a human
's
almaMater
is
a post secondary school
,
then there exists
a process
such that
the process
is an
instance
of
educational process
and
the process
end
s up at
the human
and
the process
is
located
at
2
and
student
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 18415-18422
If
actedIn
a human
and
a content bearing physical
and
a process
is an
instance
of
dramatic acting
and
the human
is a
patient
of
the process
and
the content bearing physical
is a
result
of
the process
,
then
Actor
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 16421-16427
If
an agent
is an
agent
of
a process
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
art work
,
then
Artist
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T ?C)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-210
If
muslim
is an
attribute
of
an agent
and
value
of belongings of
the agent
is
equal
to
a currency measure
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
zakat
and
a third entity
is an
instance
of
year
and
the third entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the third entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
a fourth entity
and
the fourth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
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 460-473
If
cover recording
is an
attribute
of
a music recording
and
the music recording
is an
instance
of
music recording
and
a cognitive agent
is the
performer
in
the music recording
and
the music recording
is a
recording
of
a music
and
the music recording
is a
record
of
the music
M,
then there exist
another music recording
,
the cognitive agent
RTIST and
the music
USIC such that
the other music recording
is a
recording
of
the music
and
the cognitive agent
RTIST is the
performer
in
the other music recording
and
the cognitive agent
is not
equal
to
the cognitive agent
RTIST and
the other music recording
is a
record
of
the music
USIC and the
time
of existence of
the music
USIC happens
before
the
time
of existence of
the music
M
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2)
(
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 1158-1175
If
communal
is an
attribute
of
an object
and
the object
is an
instance
of
table
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
group of people
and
the process
is
located
at
2
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the agent
is not
equal
to
the entity
and
the entity
is an
instance
of
group of people
and
the other entity
is
located
at
2
and the
time
of existence of
the process
meet
s the
time
of existence of
the other entity
and
the object
is
equal
to
the object
2 has the
modal
force
of
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 13830-13843
If
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
of
a kind of pure substance
and the
measure
of
the entity
is
a quantity
the unit of measure
(s) holds
during
a time interval
and
the unit of measure
is an
instance
of
UnitOfTemperature
and
the quantity
is
greater
than or equal to
the real number
,
then
gas
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
boiling
and
the entity
is a
patient
of
the process
(=>
(
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 653-664
If one must
check
out
before
a time point
at
a cognitive agent
and
another cognitive agent
is a
guest
at
the cognitive agent
,
then
the cognitive agent
expects
there exist
an entity
and
another entity
such that
the entity
is an
instance
of
the time point
and
the other cognitive agent
is a
patient
of
the other entity
and
the other entity
is an
instance
of
check-out service
and
the cognitive agent
is an
agent
of
the other entity
and the
beginning
of the
time
of existence of
the other entity
happens
before
the entity
will be true
(=>
(
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
If
a process
end
s up at
an object
and
the process
is an
instance
of
messaging
and
an entity
is a
patient
of
the process
and
the object
is an
instance
of
telex
,
then there exist
another process
and
another entity
such that
the object
is an
instrument
for
the other process
and
the other entity
is a
result
of
the other process
and
the other entity
express
es
the entity
and
the other entity
is an
instance
of
text
and the
beginning
of the
time
of existence of
the process
happens
before
the
beginning
of the
time
of existence of
the other process
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 18390-18399
If
a human
directed
a motion picture
and
a process
is an
instance
of
film making
and
an agent
is an
instance
of
organization
and
the human
is a
leader
of
the agent
and
the agent
is an
agent
of
the process
and
the motion picture
is a
result
of
the process
,
then
film director
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 28827-28833
If
firstInstanceCreated
a kind of physical
and
a time point
and
another physical
is an
instance
of
a kind of physical
,
then
the time point
happen
%{s} before or at the
beginning
of the
time
of existence of
the other physical
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INTE))))
UXExperimentalTerms.kif 3730-3739
If
a collection
are
first
time
buyers
on
a WebSite
during
a time interval
and
an agent
is a
member
of
the collection
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the WebSite
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
E
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3741-3751
If
a collection
are
first
time
buyers
on
a WebSite
during
a time interval
and
an agent
is a
member
of
the collection
,
then there doesn't exist
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the WebSite
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
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 1972-1980
There exists
a time interval
such that
the time interval
is an
instance
of
time interval
and
the time interval
finish
es the
time
of existence of
JesusOfNazareth
and
the time interval
start
s the
time
of existence of
TwelveApostles
and for all
an entity
if
the entity
is a
member
of
TwelveApostles
holds
during
the time interval
,
then
JesusOfNazareth
is a
friend
of
the entity
holds
during
the time interval
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1922-1922
JesusOfNazareth
is
located
at
palestine
holds
during
the
time
of existence of
JesusOfNazareth
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
