| 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 24464-24465 | |
| (domainSubclass typicalAction 1 Process) | Mid-level-ontology.kif 24459-24459 | |
| (domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 24460-24460 | |
| (instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 24461-24461 | |
| (relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 24462-24462 | |
| (relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 24463-24463 |
| 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 65990-65990 |
| 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 23903-23916 | |
| (=> (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 24475-24492 | |
| (=> (typicalAction ?PROCESS ?AGENT) (exists (?P ?A) (and (instance ?P ?PROCESS) (instance ?A ?AGENT) (agent ?P ?A)))) |
Mid-level-ontology.kif 24467-24473 |
| 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 23923-23936 | |
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 23897-23901 |
|
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