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 22820-22821 | |
(domainSubclass typicalAction 1 Process) | Mid-level-ontology.kif 22815-22815 | Il numero 1 argomento typicalAction è una sottoclasse diProcesso |
(domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 22816-22816 | Il numero 2 argomento typicalAction è una sottoclasse diAutonomousAgent |
(instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 22817-22817 | typicalAction è un' istanza di PredicatoBinario |
(relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 22818-22818 | typicalAction è interamente correlato a agent |
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 22819-22819 | typicalAction è interamente correlato a 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 22279-22292 |
|
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 22253-22257 |
|