| 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 数量 是 过程 的 subclass |
| (domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 22816-22816 | typicalAction 的 2 数量 是 施事体 的 subclass |
| (instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 22817-22817 | typicalAction 是 二元谓语 的 instance |
| (relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 22818-22818 | typicalAction 和 主事 是 内部相关 |
| (relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 22819-22819 | typicalAction 和 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 |
|
| (=> (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 | |
| (=> (typicalAction ?PROCESS ?AGENT) (exists (?P ?A) (and (instance ?P ?PROCESS) (instance ?A ?AGENT) (agent ?P ?A)))) |
Mid-level-ontology.kif 22823-22829 |
| 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 | |
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 22253-22257 |
|
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