TreeView Knowledge Base Browser - typicalAction

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 22820-22821
(domainSubclass typicalAction 1 Process)	Mid-level-ontology.kif 22815-22815	域子類 typicalAction, 1 and Process
(domainSubclass typicalAction 2 AutonomousAgent)	Mid-level-ontology.kif 22816-22816	域子類 typicalAction, 2 and AutonomousAgent
(instance typicalAction BinaryPredicate)	Mid-level-ontology.kif 22817-22817	例 typicalAction and BinaryPredicate
(relatedInternalConcept typicalAction agent)	Mid-level-ontology.kif 22818-22818	相關的內部概念 typicalAction and agent
(relatedInternalConcept typicalAction typicallyContainsTemporalPart)	Mid-level-ontology.kif 22819-22819	相關的內部概念 typicalAction and 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 22259-22272	例 Attribute and 職業角色 Process 是 CognitiveAgent 跟 Attribute 的 attr 的 typical action Process TimePosition, AutonomousAgent and AutonomousAgentT 例 Process and CognitiveAgent 持有期間 TimePosition and attribute Process and Attribute 例 AutonomousAgent and Process agent Process and AutonomousAgent 時間 AutonomousAgent and AutonomousAgentT 時間部分 AutonomousAgentT and TimePosition
(=> (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 22831-22848	Process 是 AutonomousAgent 的 typical action 例 Entity and AutonomousAgent 等於 RealNumber and 可能性 entity 例 entity and Process agent entity and Entity 等於 RealNumber and 可能性 entity 例 entity and Process agent entity and Entity 比較多 RealNumber and RealNumber
(=> (typicalAction ?PROCESS ?AGENT) (exists (?P ?A) (and (instance ?P ?PROCESS) (instance ?A ?AGENT) (agent ?P ?A))))	Mid-level-ontology.kif 22823-22829	Process 是 AutonomousAgent 的 typical action Process AutonomousAgent 例 Process and Process 例 AutonomousAgent and AutonomousAgent agent Process and 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 22279-22292	例 Attribute and OccupationalDomain 例 Physical and CognitiveAgent 跟 Attribute 的 attr Process Process 是 CognitiveAgent 跟 Attribute 的 attr 的 typical action 有目的 Physical and entity 例 entity and Process agent Physical and entity
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O))))	Mid-level-ontology.kif 22253-22257	例 Attribute and 職業角色 Process Process 是 CognitiveAgent 跟 Attribute 的 attr 的 typical action

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