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 | Le nombre 1 argument de typicalAction est une sous-classe de processus |
(domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 22817-22817 | Le nombre 2 argument de typicalAction est une sous-classe de AutonomousAgent |
(instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 22818-22818 | typicalAction est une instance de pr�dicat binaire |
(relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 22819-22819 | typicalAction est reli� � l'int�rieur de SUMO � agent |
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 22820-22820 | typicalAction est reli� � l'int�rieur de SUMO � 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 |
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 |
|