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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernAfricanCuisine

 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 22873-22874
(domainSubclass typicalAction 1 Process) Mid-level-ontology.kif 22868-22868 typicalAction 的 1 数量 是 过程 的 subclass
(domainSubclass typicalAction 2 AutonomousAgent) Mid-level-ontology.kif 22869-22869 typicalAction 的 2 数量 是 施事体 的 subclass
(instance typicalAction BinaryPredicate) Mid-level-ontology.kif 22870-22870 typicalAction 是 二元谓语 的 instance
(relatedInternalConcept typicalAction agent) Mid-level-ontology.kif 22871-22871 typicalAction 和 主事 是 内部相关
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) Mid-level-ontology.kif 22872-22872 typicalAction 和 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
-------------------------


(=>
    (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 22312-22325
(=>
    (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 22884-22901
(=>
    (typicalAction ?PROCESS ?AGENT)
    (exists (?P ?A)
        (and
            (instance ?P ?PROCESS)
            (instance ?A ?AGENT)
            (agent ?P ?A))))		 Mid-level-ontology.kif 22876-22882

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


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