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
O argumento numero 1 de
typicalAction
e' uma
sub
-classe de
Processo
(
domainSubclass
typicalAction
2
AutonomousAgent
)
Mid-level-ontology.kif 22817-22817
O argumento numero 2 de
typicalAction
e' uma
sub
-classe de
AutonomousAgent
(
instance
typicalAction
BinaryPredicate
)
Mid-level-ontology.kif 22818-22818
typicalAction
e' uma
instancia
de
Predicado Binario
(
relatedInternalConcept
typicalAction
agent
)
Mid-level-ontology.kif 22819-22819
typicalAction
e'
relacionado
internamente por SUMO a
agent
(
relatedInternalConcept
typicalAction
typicallyContainsTemporalPart
)
Mid-level-ontology.kif 22820-22820
typicalAction
e'
relacionado
internamente por SUMO a
typicallyContainsTemporalPart
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
Atributo
e' uma
instancia
de
OccupationalRole
typicalAction
Processo
and
AttrFn
Agente Cognitivo
and
Atributo
Processo
Posicao Temporal
,
AutonomousAgent
and
AutonomousAgent
T
Processo
e' uma
instancia
de
Agente Cognitivo
Atributo
e' um
atributo
de
Processo
vale
durante
Posicao Temporal
AutonomousAgent
e' uma
instancia
de
Processo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
existe
durante
AutonomousAgent
T
AutonomousAgent
T e' uma &parte de
Posicao Temporal
(=>
(
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
typicalAction
Processo
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Entidade
Numero Real
e'
maior
que
Numero Real
(=>
(
typicalAction
?PROCESS ?AGENT)
(
exists
(?P ?A)
(
and
(
instance
?P ?PROCESS)
(
instance
?A ?AGENT)
(
agent
?P ?A))))
Mid-level-ontology.kif 22824-22830
typicalAction
Processo
and
AutonomousAgent
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
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
Atributo
e' uma
instancia
de
OccupationalDomain
Fisico
e' uma
instancia
de
AttrFn
Agente Cognitivo
and
Atributo
Processo
typicalAction
Processo
and
AttrFn
Agente Cognitivo
and
Atributo
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
agente
de
Entidade
(=>
(
instance
?O
OccupationalRole
)
(
exists
(?PCLASS)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O))))
Mid-level-ontology.kif 22254-22258
Atributo
e' uma
instancia
de
OccupationalRole
Processo
typicalAction
Processo
and
AttrFn
Agente Cognitivo
and
Atributo
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