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 24462-24463 | |
(domainSubclass typicalAction 1 Process) | Mid-level-ontology.kif 24457-24457 | Le nombre 1 argument de typicalAction est une sous-classe de processus |
(domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 24458-24458 | Le nombre 2 argument de typicalAction est une sous-classe de AutonomousAgent |
(instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 24459-24459 | typicalAction est une instance de pr�dicat binaire |
(relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 24460-24460 | typicalAction est reli� � l'int�rieur de SUMO � agent |
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 24461-24461 | typicalAction est reli� � l'int�rieur de SUMO � typicallyContainsTemporalPart |
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 |
![]() |
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 23921-23934 | |
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 23895-23899 |
|
![]() |
![]() |