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 22098-22099
(domainSubclass typicalAction 1 Process) Mid-level-ontology.kif 22093-22093
(domainSubclass typicalAction 2 Agent) Mid-level-ontology.kif 22094-22094
(instance typicalAction CaseRole) Mid-level-ontology.kif 22092-22092
(relatedInternalConcept typicalAction agent) Mid-level-ontology.kif 22095-22095
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) Mid-level-ontology.kif 22096-22096

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


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

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 21570-21583
(=>
    (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 22109-22126
(=>
    (typicalAction ?PROCESS ?AGENT)
    (exists (?P ?A)
        (and
            (instance ?P ?PROCESS)
            (instance ?A ?AGENT)
            (agent ?P ?A))))
Mid-level-ontology.kif 22101-22107

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 21590-21603
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 21564-21568


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