Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
typicalAction
Sigma KEE - typicalAction
typicalAction
appearance as argument number 1
(
documentation
typicalAction
EnglishLanguage
"(
typicalAction
?PROCESS ?CLASS) means that instances of the class ?AGENT are typically an active determinant of instances of the
Process
class ?PROCESS.")
Mid-level-ontology.kif 22821-22822
(
domainSubclass
typicalAction
1
Process
)
Mid-level-ontology.kif 22816-22816
The number 1 argument of
typical action
is a
subclass
of
process
(
domainSubclass
typicalAction
2
AutonomousAgent
)
Mid-level-ontology.kif 22817-22817
The number 2 argument of
typical action
is a
subclass
of
agent
(
instance
typicalAction
BinaryPredicate
)
Mid-level-ontology.kif 22818-22818
typical action
is an
instance
of
binary predicate
(
relatedInternalConcept
typicalAction
agent
)
Mid-level-ontology.kif 22819-22819
typical action
is
internally
related to
agent
(
relatedInternalConcept
typicalAction
typicallyContainsTemporalPart
)
Mid-level-ontology.kif 22820-22820
typical action
is
internally
related to
typically contains temporal part
appearance as argument number 2
(
format
ChineseLanguage
typicalAction
"%1 是 %2 的 typical action ")
domainEnglishFormat.kif 4842-4842
(
format
ChineseTraditionalLanguage
typicalAction
"%1 是 %2 的 typical action ")
domainEnglishFormat.kif 4841-4841
(
format
EnglishLanguage
typicalAction
"%1 is a typical action of a %2")
domainEnglishFormat.kif 4840-4840
(
termFormat
EnglishLanguage
typicalAction
"typical action")
domainEnglishFormat.kif 65961-65961
antecedent
(=>
(
and
(
instance
?O
OccupationalRole
)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O)))
(
exists
(?X ?T ?P ?PT)
(
and
(
instance
?X
CognitiveAgent
)
(
holdsDuring
?T
(
attribute
?X ?O))
(
instance
?P ?PCLASS)
(
agent
?X ?P)
(
time
?P ?PT)
(
temporalPart
?PT ?T))))
Mid-level-ontology.kif 22260-22273
If
an attribute
is an
instance
of
occupational role
and
a kind of process
is a
typical
action
of a the
attr
of
cognitive agent
and
the attribute
,
then there exist
another process
,
a time position
,, ,
an agent
and
the agent
T such that
the other process
is an
instance
of
cognitive agent
and
the attribute
is an
attribute
of
the other process
holds
during
the time position
and
the agent
is an
instance
of
a kind of process
and
the agent
is an
agent
of
the other process
and
the agent
exists
during
the agent
T and
the agent
T is a
part
of
the time position
(=>
(
and
(
typicalAction
?PROCESS ?AGENT)
(
instance
?A ?AGENT)
(
equal
?PPROB
(
ProbabilityFn
(
exists
(?X)
(
and
(
instance
?X ?PROCESS)
(
agent
?X ?A)))))
(
equal
?NOTPPROB
(
ProbabilityFn
(
not
(
exists
(?Y)
(
and
(
instance
?Y ?PROCESS)
(
agent
?Y ?A)))))))
(
greaterThan
?PPROB ?NOTPPROB))
Mid-level-ontology.kif 22832-22849
If
a kind of process
is a
typical
action
of a
a kind of agent
and
an entity
is an
instance
of
a kind of agent
and
a real number
is
equal
to the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
a kind of process
and
the entity
is an
agent
of
the other entity
and
another real number
is
equal
to the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the kind of process
and
the entity
is an
agent
of
the third entity
,
then
the real number
is
greater
than
the other real number
(=>
(
typicalAction
?PROCESS ?AGENT)
(
exists
(?P ?A)
(
and
(
instance
?P ?PROCESS)
(
instance
?A ?AGENT)
(
agent
?P ?A))))
Mid-level-ontology.kif 22824-22830
If
a kind of process
is a
typical
action
of a
a kind of agent
,
then there exist
another process
and
another agent
such that
the other process
is an
instance
of
a kind of process
and
the other agent
is an
instance
of
a kind of agent
and
the other agent
is an
agent
of
the other process
consequent
(=>
(
and
(
instance
?OCCD
OccupationalDomain
)
(
instance
?X
(
AttrFn
CognitiveAgent
?OCCD)))
(
exists
(?PCLASS)
(
and
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?OCCD))
(
hasPurpose
?X
(
exists
(?P)
(
and
(
instance
?P ?PCLASS)
(
agent
?X ?P)))))))
Mid-level-ontology.kif 22280-22293
If
an attribute
is an
instance
of
occupational domain
and
a physical
is an
instance
of the
attr
of
cognitive agent
and
the attribute
,
then there exists
a kind of process
such that
a kind of process
is a
typical
action
of a the
attr
of
cognitive agent
and
the attribute
and
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
the kind of process
and
the entity
is an
agent
of
the physical
(=>
(
instance
?O
OccupationalRole
)
(
exists
(?PCLASS)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O))))
Mid-level-ontology.kif 22254-22258
If
an attribute
is an
instance
of
occupational role
,
then there exists
a kind of process
such that
a kind of process
is a
typical
action
of a the
attr
of
cognitive agent
and
the attribute
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