| 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 22353-22354 | |
| (domainSubclass typicalAction 1 Process) | Mid-level-ontology.kif 22348-22348 | |
| (domainSubclass typicalAction 2 Agent) | Mid-level-ontology.kif 22349-22349 | |
| (instance typicalAction CaseRole) | Mid-level-ontology.kif 22347-22347 | |
| (relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 22350-22350 | |
| (relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 22351-22351 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage typicalAction "%1 是 %2 的 typical action ") | domainEnglishFormat.kif 4851-4851 | |
| (format ChineseTraditionalLanguage typicalAction "%1 是 %2 的 typical action ") | domainEnglishFormat.kif 4850-4850 | |
| (format EnglishLanguage typicalAction "%1 is a typical action of a %2") | domainEnglishFormat.kif 4849-4849 |
| 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 21825-21838 | |
| (=> (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 22364-22381 | |
| (=> (typicalAction ?PROCESS ?AGENT) (exists (?P ?A) (and (instance ?P ?PROCESS) (instance ?A ?AGENT) (agent ?P ?A)))) |
Mid-level-ontology.kif 22356-22362 |
| 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 21845-21858 | |
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 21819-21823 |
|
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