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
Die Zahl 1 Argument von
typicalAction
ist eine
teilkategorie
von
Process
%n{nicht}
(
domainSubclass
typicalAction
2
AutonomousAgent
)
Mid-level-ontology.kif 22817-22817
Die Zahl 2 Argument von
typicalAction
ist eine
teilkategorie
von
AutonomousAgent
%n{nicht}
(
instance
typicalAction
BinaryPredicate
)
Mid-level-ontology.kif 22818-22818
typicalAction
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
relatedInternalConcept
typicalAction
agent
)
Mid-level-ontology.kif 22819-22819
typicalAction
ist innerlich verwandt mit
agent
%n{nicht}
(
relatedInternalConcept
typicalAction
typicallyContainsTemporalPart
)
Mid-level-ontology.kif 22820-22820
typicalAction
ist innerlich verwandt mit
typicallyContainsTemporalPart
%n{nicht}
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
Wenn
Attribute
ist ein
fall
von
OccupationalRole
%n{nicht} und
typicalAction
** Process
and
AttrFn
CognitiveAgent
and
** Attribute
,
dann es gibt
** Process
,
TimePosition
,, ,
AutonomousAgent
, and und
** AutonomousAgent
T um
** ** Process
ist ein
fall
von
CognitiveAgent
%n{nicht} und
** Attribute
ist ein
attribut
von
** ** Process
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
** Process
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
besteht
waehrend
** AutonomousAgent
T %n{nicht} und
** AutonomousAgent
T ist ein
teil
von
** TimePosition
%n{nicht}
(=>
(
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
Wenn
typicalAction
** Process
and
** AutonomousAgent
und
Entity
ist ein
fall
von
** AutonomousAgent
%n{nicht} und
RealNumber
ist gleich die
wahrscheinlichkeit
von es gibt
** entity
um
** ** entity
ist ein
fall
von
** Process
%n{nicht} und
** ** entity
ist der
agent
von
** Entity
%n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
** ** Process
%n{nicht} und
** ** entity
ist der
agent
von
** Entity
%n{nicht} %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
typicalAction
?PROCESS ?AGENT)
(
exists
(?P ?A)
(
and
(
instance
?P ?PROCESS)
(
instance
?A ?AGENT)
(
agent
?P ?A))))
Mid-level-ontology.kif 22824-22830
Wenn
typicalAction
** Process
and
** AutonomousAgent
,
dann es gibt
** Process
und
** AutonomousAgent
um
** ** Process
ist ein
fall
von
** Process
%n{nicht} und
** ** AutonomousAgent
ist ein
fall
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht}
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
Wenn
Attribute
ist ein
fall
von
OccupationalDomain
%n{nicht} und
Physical
ist ein
fall
von
AttrFn
CognitiveAgent
and
** Attribute
%n{nicht},
dann es gibt
** Process
um
typicalAction
** Process
and
AttrFn
CognitiveAgent
and
** Attribute
und
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
** ** Process
%n{nicht} und
** Physical
ist der
agent
von
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?O
OccupationalRole
)
(
exists
(?PCLASS)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O))))
Mid-level-ontology.kif 22254-22258
Wenn
Attribute
ist ein
fall
von
OccupationalRole
%n{nicht},
dann es gibt
** Process
um
typicalAction
** Process
and
AttrFn
CognitiveAgent
and
** 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