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 22873-22874 | |
(domainSubclass typicalAction 1 Process) | Mid-level-ontology.kif 22868-22868 | typicalAction 的 1 数量 是 过程 的 subclass |
(domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 22869-22869 | typicalAction 的 2 数量 是 施事体 的 subclass |
(instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 22870-22870 | typicalAction 是 二元谓语 的 instance |
(relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 22871-22871 | typicalAction 和 主事 是 内部相关 |
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 22872-22872 | 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 65963-65963 |
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 22312-22325 |
|
(=> (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 22884-22901 | |
(=> (typicalAction ?PROCESS ?AGENT) (exists (?P ?A) (and (instance ?P ?PROCESS) (instance ?A ?AGENT) (agent ?P ?A)))) |
Mid-level-ontology.kif 22876-22882 |
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 22332-22345 | |
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 22306-22310 |