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 22873-22874
(
domainSubclass
typicalAction
1
Process
)
Mid-level-ontology.kif 22868-22868
Il numero 1 argomento
typicalAction
è una
sottoclasse
di
Processo
(
domainSubclass
typicalAction
2
AutonomousAgent
)
Mid-level-ontology.kif 22869-22869
Il numero 2 argomento
typicalAction
è una
sottoclasse
di
AutonomousAgent
(
instance
typicalAction
BinaryPredicate
)
Mid-level-ontology.kif 22870-22870
typicalAction
è un'
istanza
di
PredicatoBinario
(
relatedInternalConcept
typicalAction
agent
)
Mid-level-ontology.kif 22871-22871
typicalAction
è
interamente
correlato a
agent
(
relatedInternalConcept
typicalAction
typicallyContainsTemporalPart
)
Mid-level-ontology.kif 22872-22872
typicalAction
è
interamente
correlato 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 65963-65963
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 22312-22325
Attributo
è un'
istanza
di
Occupazione
typicalAction
Processo
and
AttrFn
AgenteCognitivo
and
Attributo
Processo
PosizioneTemporale
,
AutonomousAgent
and
AutonomousAgent
T
Processo
è un'
istanza
di
AgenteCognitivo
attribute
Processo
and
Attributo
vales
durante
PosizioneTemporale
AutonomousAgent
è un'
istanza
di
Processo
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
esistes
durante
AutonomousAgent
T
AutonomousAgent
T è una
parte
di
PosizioneTemporale
(=>
(
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 22884-22901
typicalAction
Processo
and
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un
agente
di
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un
agente
di
Entit�
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
typicalAction
?PROCESS ?AGENT)
(
exists
(?P ?A)
(
and
(
instance
?P ?PROCESS)
(
instance
?A ?AGENT)
(
agent
?P ?A))))
Mid-level-ontology.kif 22876-22882
typicalAction
Processo
and
AutonomousAgent
Processo
AutonomousAgent
Processo
è un'
istanza
di
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un
agente
di
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 22332-22345
Attributo
è un'
istanza
di
OccupationalDomain
Entit�Concreta
è un'
istanza
di
AttrFn
AgenteCognitivo
and
Attributo
Processo
typicalAction
Processo
and
AttrFn
AgenteCognitivo
and
Attributo
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è un
agente
di
Entit�
(=>
(
instance
?O
OccupationalRole
)
(
exists
(?PCLASS)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O))))
Mid-level-ontology.kif 22306-22310
Attributo
è un'
istanza
di
Occupazione
Processo
typicalAction
Processo
and
AttrFn
AgenteCognitivo
and
Attributo
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