Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - typicalAction
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
-------------------------


(=>
    (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 23901-23914
(=>
    (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 24473-24490
(=>
    (typicalAction ?PROCESS ?AGENT)
    (exists (?P ?A)
        (and
            (instance ?P ?PROCESS)
            (instance ?A ?AGENT)
            (agent ?P ?A))))
Mid-level-ontology.kif 24465-24471

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners