typicalAction - Sigma Knowledge base Browser

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 24481-24482
(domainSubclass typicalAction 1 Process)	Mid-level-ontology.kif 24476-24476	The number 1 argument of typical action is a subclass of process
(domainSubclass typicalAction 2 AutonomousAgent)	Mid-level-ontology.kif 24477-24477	The number 2 argument of typical action is a subclass of agent
(instance typicalAction BinaryPredicate)	Mid-level-ontology.kif 24478-24478	typical action is an instance of binary predicate
(relatedInternalConcept typicalAction agent)	Mid-level-ontology.kif 24479-24479	typical action is internally related to agent
(relatedInternalConcept typicalAction typicallyContainsTemporalPart)	Mid-level-ontology.kif 24480-24480	typical action is internally related to typically contains temporal part

appearance as argument number 2

(format ChineseLanguage typicalAction "%1 是 %2 的 typical action ")	domainEnglishFormat.kif 4848-4848
(format ChineseTraditionalLanguage typicalAction "%1 是 %2 的 typical action ")	domainEnglishFormat.kif 4847-4847
(format EnglishLanguage typicalAction "%1 is a typical action of a %2")	domainEnglishFormat.kif 4846-4846
(termFormat EnglishLanguage typicalAction "typical action")	domainEnglishFormat.kif 66021-66021

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 23920-23933	If an attribute is an instance of occupational role and a kind of process is a typical action of a the attr of cognitive agent and the attribute, then there exist another process, a time position,, , an agent and the agentT such that the other process is an instance of cognitive agent and the attribute is an attribute of the other process holds during the time position and the agent is an instance of a kind of process and the agent is an agent of the other process and the agent exists during the agentT and the agentT is a part of the time position
(=> (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 24492-24509	If a kind of process is a typical action of a a kind of agent and an entity is an instance of a kind of agent and a real number is equal to the probability of there exists another entity such that the other entity is an instance of a kind of process and the entity is an agent of the other entity and another real number is equal to the probability of there doesn't exist a third entity such that the third entity is an instance of the kind of process and the entity is an agent of the third entity, then the real number is greater than the other real number
(=> (typicalAction ?PROCESS ?AGENT) (exists (?P ?A) (and (instance ?P ?PROCESS) (instance ?A ?AGENT) (agent ?P ?A))))	Mid-level-ontology.kif 24484-24490	If a kind of process is a typical action of a a kind of agent, then there exist another process and another agent such that the other process is an instance of a kind of process and the other agent is an instance of a kind of agent and the other agent is an agent of the other process

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 23940-23953	If an attribute is an instance of occupational domain and a physical is an instance of the attr of cognitive agent and the attribute, then there exists a kind of process such that a kind of process is a typical action of a the attr of cognitive agent and the attribute and the physical has the purpose there exists an entity such that the entity is an instance of the kind of process and the entity is an agent of the physical
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O))))	Mid-level-ontology.kif 23914-23918	If an attribute is an instance of occupational role, then there exists a kind of process such that a kind of process is a typical action of a the attr of cognitive agent and the attribute

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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