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

Formal Language: 



KB Term:  Term intersection
English Word: 

  typicalAction

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 22770-22771
(domainSubclass typicalAction 1 Process) Mid-level-ontology.kif 22765-22765 The number 1 argument of typical action is a subclass of process
(domainSubclass typicalAction 2 AutonomousAgent) Mid-level-ontology.kif 22766-22766 The number 2 argument of typical action is a subclass of agent
(instance typicalAction CaseRole) Mid-level-ontology.kif 22764-22764 typical action is an instance of case role
(relatedInternalConcept typicalAction agent) Mid-level-ontology.kif 22767-22767 typical action is internally related to agent
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) Mid-level-ontology.kif 22768-22768 typical action is internally related to typically contains temporal part

appearance as argument number 2
-------------------------


(format ChineseLanguage typicalAction "%1 是 %2 的 typical action ") domainEnglishFormat.kif 4850-4850
(format ChineseTraditionalLanguage typicalAction "%1 是 %2 的 typical action ") domainEnglishFormat.kif 4849-4849
(format EnglishLanguage typicalAction "%1 is a typical action of a %2") domainEnglishFormat.kif 4848-4848
(termFormat EnglishLanguage typicalAction "typical action") domainEnglishFormat.kif 66438-66438

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 22208-22221
(=>
    (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 22781-22798
(=>
    (typicalAction ?PROCESS ?AGENT)
    (exists (?P ?A)
        (and
            (instance ?P ?PROCESS)
            (instance ?A ?AGENT)
            (agent ?P ?A))))
Mid-level-ontology.kif 22773-22779

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 22228-22241
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 22202-22206


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

Show without tree


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