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 22821-22822 | |
(domainSubclass typicalAction 1 Process) | Mid-level-ontology.kif 22816-22816 | typicalAction 的 1 数量 是 过程 的 subclass |
(domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 22817-22817 | typicalAction 的 2 数量 是 施事体 的 subclass |
(instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 22818-22818 | typicalAction 是 二元谓语 的 instance |
(relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 22819-22819 | typicalAction 和 主事 是 内部相关 |
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 22820-22820 | 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 22260-22273 |
|
(=> (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 22832-22849 | |
(=> (typicalAction ?PROCESS ?AGENT) (exists (?P ?A) (and (instance ?P ?PROCESS) (instance ?A ?AGENT) (agent ?P ?A)))) |
Mid-level-ontology.kif 22824-22830 |
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 22280-22293 | |
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 22254-22258 |