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 22821-22822
(domainSubclass typicalAction 1 Process) Mid-level-ontology.kif 22816-22816 typicalAction の数値 1 引数は 工程subclass では %n
(domainSubclass typicalAction 2 AutonomousAgent) Mid-level-ontology.kif 22817-22817 typicalAction の数値 2 引数は AutonomousAgentsubclass では %n
(instance typicalAction BinaryPredicate) Mid-level-ontology.kif 22818-22818 typicalAction2進述語instance では %n
(relatedInternalConcept typicalAction agent) Mid-level-ontology.kif 22819-22819 typicalActionagentinternally 関連して %n
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) Mid-level-ontology.kif 22820-22820 typicalActiontypicallyContainsTemporalPartinternally 関連して %n

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
-------------------------


(=>
    (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 22260-22273
(=>
    (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 22832-22849
(=>
    (typicalAction ?PROCESS ?AGENT)
    (exists (?P ?A)
        (and
            (instance ?P ?PROCESS)
            (instance ?A ?AGENT)
            (agent ?P ?A))))
Mid-level-ontology.kif 22824-22830

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 22280-22293
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 22254-22258


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