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
typicalAction
の数値 1 引数は
工程
の
subclass
では %n
(
domainSubclass
typicalAction
2
AutonomousAgent
)
Mid-level-ontology.kif 22817-22817
typicalAction
の数値 2 引数は
AutonomousAgent
の
subclass
では %n
(
instance
typicalAction
BinaryPredicate
)
Mid-level-ontology.kif 22818-22818
typicalAction
は
2進述語
の
instance
では %n
(
relatedInternalConcept
typicalAction
agent
)
Mid-level-ontology.kif 22819-22819
typicalAction
は
agent
に
internally
関連して %n
(
relatedInternalConcept
typicalAction
typicallyContainsTemporalPart
)
Mid-level-ontology.kif 22820-22820
typicalAction
は
typicallyContainsTemporalPart
に
internally
関連して %n
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
属性
は
OccupationalRole
の
instance
では %n
typicalAction
工程
and
AttrFn
認識エージェント
and
属性
工程
時間位置
,
AutonomousAgent
and
AutonomousAgent
T
工程
は
認識エージェント
の
instance
では %n
属性
は
工程
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
AutonomousAgent
は
工程
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
T の
during
exists %n{ない}
AutonomousAgent
T は
時間位置
の
part
では %n
(=>
(
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
工程
and
AutonomousAgent
エンティティー
は
AutonomousAgent
の
instance
では %n
実数
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n の
probability
と
equal
では %n
実数
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n の
probability
と
equal
では %n
実数
は
実数
より
greater
では %n
(=>
(
typicalAction
?PROCESS ?AGENT)
(
exists
(?P ?A)
(
and
(
instance
?P ?PROCESS)
(
instance
?A ?AGENT)
(
agent
?P ?A))))
Mid-level-ontology.kif 22824-22830
typicalAction
工程
and
AutonomousAgent
工程
AutonomousAgent
工程
は
工程
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
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
属性
は
OccupationalDomain
の
instance
では %n
物理
は
AttrFn
認識エージェント
and
属性
の
instance
では %n
工程
typicalAction
工程
and
AttrFn
認識エージェント
and
属性
物理
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
物理
の
agent
では %n の 目的 %n{ない}
(=>
(
instance
?O
OccupationalRole
)
(
exists
(?PCLASS)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O))))
Mid-level-ontology.kif 22254-22258
属性
は
OccupationalRole
の
instance
では %n
工程
typicalAction
工程
and
AttrFn
認識エージェント
and
属性
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