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 | Il numero 1 argomento typicalAction è una sottoclasse diProcesso |
(domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 22869-22869 | Il numero 2 argomento typicalAction è una sottoclasse diAutonomousAgent |
(instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 22870-22870 | typicalAction è un' istanza di PredicatoBinario |
(relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 22871-22871 | typicalAction è interamente correlato a agent |
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) | Mid-level-ontology.kif 22872-22872 | 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 65963-65963 |
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 22332-22345 |
|
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 22306-22310 |
|