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
StartFn
Sigma KEE - StartFn
StartFn
appearance as argument number 1
(
documentation
StartFn
EnglishLanguage
"(StartFn ?PROCESS) denotes
IntentionalProcess
es of bringing it about that
Process
es of type ?PROCESS begin, e.g. start working, begin running, etc.")
Mid-level-ontology.kif 406-408
(
domain
StartFn
1
Process
)
Mid-level-ontology.kif 410-410
The number 1 argument of
start
is an
instance
of
process
(
instance
StartFn
UnaryFunction
)
Mid-level-ontology.kif 409-409
Start
is an
instance
of
unary function
(
rangeSubclass
StartFn
IntentionalProcess
)
Mid-level-ontology.kif 411-411
The values returned by
start
are
subclasses
of
intentional process
appearance as argument number 2
(
format
ChineseLanguage
StartFn
"%1 的 start ")
domainEnglishFormat.kif 2339-2339
(
format
ChineseTraditionalLanguage
StartFn
"%1 的 start ")
domainEnglishFormat.kif 2338-2338
(
format
EnglishLanguage
StartFn
"the start of %1")
domainEnglishFormat.kif 2337-2337
(
termFormat
ChineseLanguage
StartFn
"开始")
domainEnglishFormat.kif 55047-55047
(
termFormat
ChineseTraditionalLanguage
StartFn
"開始")
domainEnglishFormat.kif 55046-55046
(
termFormat
EnglishLanguage
StartFn
"start")
domainEnglishFormat.kif 55045-55045
antecedent
(=>
(
and
(
standardRetailHours
?TIMEINT ?AGENT)
(
potentialCustomer
?C ?AGENT)
(
instance
?P
IntentionalProcess
)
(
destination
?P ?C)
(
instance
?START
(
StartFn
?P))
(
conditionalProbability
(
during
(
WhenFn
?START) ?TIMEINT)
(
agent
?P ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
during
(
WhenFn
?START) ?TIMEINT))
(
agent
?P ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 371-382
If the
standard
retail
hours
for
an agent
are
a kind of time interval
and
a cognitive agent
is a
potential
customer
for
the agent
and
a process
is an
instance
of
intentional process
and
the process
end
s up at
the cognitive agent
and
an entity
is an
instance
of the
start
of
the process
and
probability
of the
time
of existence of
the entity
takes place
during
a kind of time interval
provided that
the agent
is an
agent
of
the process
holds is
a real number
and
probability
of the
time
of existence of
the entity
doesn't take place
during
the kind of time interval
provided that
the agent
is an
agent
of
the process
holds is
another real number
,
then
the other real number
is
less
than
the real number
(=>
(
instance
?S
(
StartFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
starts
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 413-418
If
a physical
is an
instance
of the
start
of
a process
,
then there exists
another physical
such that
the other physical
is an
instance
of
the process
and the
time
of existence of
the physical
start
s the
time
of existence of
the other physical
consequent
(=>
(
and
(
instance
?ACT
ActivatingUIElement
)
(
patient
?ACT ?GUIE)
(
instance
?GUIE
GUIElement
))
(
and
(
holdsDuring
(
EndFn
?SELECT)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
holdsDuring
(
StartFn
?SELECT)
(
not
(
hasGUEState
?GUIE
GUE_ActiveState
)))))
ComputerInput.kif 2265-2274
If
a process
is an
instance
of
ActivatingUIElement
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
GUIElement
,
then
the entity
has
state
GUE_ActiveState
holds
during
the
end
of
a time interval
and not
the entity
has
state
GUE_ActiveState
holds
during
the
start
of
the time interval
(=>
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?A))
(
exists
(?S ?O)
(
and
(
instance
?S
Stomach
)
(
part
?S ?A)
(
holdsDuring
(
StartFn
(
WhenFn
?V))
(
located
?O ?S))
(
holdsDuring
(
EndFn
(
WhenFn
?V))
(
not
(
located
?O ?A))))))
Mid-level-ontology.kif 20708-20722
If
a process
is an
instance
of
vomiting
and
an agent
experience
s
the process
,
then there exist
an object
and
an entity
such that
the object
is an
instance
of
stomach
and
the object
is a
part
of
the agent
and
the entity
is
located
at
the object
holds
during
the
start
of the
time
of existence of
the process
and
the entity
is not
located
at
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?V
Vomiting
)
(
instance
?O
Vomit
)
(
patient
?V ?O)
(
experiencer
?V ?A))
(
exists
(?S)
(
and
(
instance
?S
Stomach
)
(
part
?S ?A)
(
holdsDuring
(
StartFn
(
WhenFn
?V))
(
located
?O ?S))
(
holdsDuring
(
EndFn
(
WhenFn
?V))
(
not
(
located
?O ?A))))))
Mid-level-ontology.kif 20745-20761
If
a process
is an
instance
of
vomiting
and
an entity
is an
instance
of
vomit
and
the entity
is a
patient
of
the process
and
an agent
experience
s
the process
,
then there exists
an object
such that
the object
is an
instance
of
stomach
and
the object
is a
part
of
the agent
and
the entity
is
located
at
the object
holds
during
the
start
of the
time
of existence of
the process
and
the entity
is not
located
at
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
instance
?M
MatchDevice
)
(
capability
(
StartFn
Combustion
)
instrument
?M))
Mid-level-ontology.kif 1894-1896
If
an object
is an
instance
of
match device
,
then
the object
is
capable
of doing the
start
of
combustion
as a
instrument
(=>
(
instance
?X
CurrencyExchangeService
)
(
exists
(?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST)
(
and
(
agent
?X ?CUST)
(
not
(
equal
?CURR1 ?CURR2))
(
instance
?AMT1
CurrencyMeasure
)
(
instance
?AMT2
CurrencyMeasure
)
(
holdsDuring
(
WhenFn
(
StartFn
?X))
(
and
(
monetaryValue
?M1 ?AMT1)
(
possesses
?CUST ?M1)
(
equal
?AMT1
(
MeasureFn
?NUM1 ?CURR1))))
(
holdsDuring
(
WhenFn
(
EndFn
?X))
(
and
(
monetaryValue
?M2 ?AMT2)
(
possesses
?CUST ?M2)
(
not
(
possesses
?CUST ?M1))
(
equal
?AMT2
(
MeasureFn
?NUM2 ?CURR2)))))))
Hotel.kif 2077-2097
If
a time interval
is an
instance
of
currency exchange
,
then there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
an agent
such that
the agent
is an
agent
of
the time interval
and
the other entity
is not
equal
to
the fourth entity
and
the entity
is an
instance
of
currency measure
and
the third entity
is an
instance
of
currency measure
and
value
of
a fifth entity
is
the entity
and
the agent
possess
es
the fifth entity
and
the entity
is
equal
to
a sixth entity
the other entity
(s) holds
during
the
time
of existence of the
start
of
the time interval
and
value
of
a seventh entity
is
the third entity
and
the agent
possess
es
the seventh entity
and
the agent
doesn't
possess
the fifth entity
and
the third entity
is
equal
to
a eighth entity
the fourth entity
(s) holds
during
the
time
of existence of the
end
of
the time interval
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
