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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Perception
Perception(perception)UFO, absolute_threshold, absorption, ache, acold, aesthesis, alertness, apparition, asleep, at_first_hand, attention, attentional, attentiveness, audience, benumbed, bird, birdwatch, burn, catch, center, center_of_attention, centering, centre, centre_of_attention, chiromance, chromaesthesia, chromesthesia, clairvoyant, clear, clearly, clock-watching, cognizance, cold, coldness, colored_audition, colored_hearing, come_across, comfort_zone, comprehend, concentration, cover, cross-modal, crosshairs, detected, detection, difference_limen, difference_threshold, differential_limen, differential_threshold, direction...

appearance as argument number 1
-------------------------


s__documentation(s__Perception,s__ChineseLanguage,'"这是去感觉物质世界的一些情况。注:我们假定作出感觉的 agent 是一种 Animal。"')

chinese_format.kif 3308-3309
s__documentation(s__Perception,s__EnglishLanguage,'"Sensing some aspect of the material world. Note that the agent of this sensing is assumed to be an Animal."')

Merge.kif 12829-12830
s__instance(s__Perception,s__SetOrClass)

s__subclass(s__Perception,s__PsychologicalProcess)

s__instance(s__PsychologicalProcess,s__SetOrClass)

Merge.kif 12828-12828 Perception is a subclass of psychological process

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


s__instance(s__Perception,s__SetOrClass)

s__subclass(s__Hearing,s__Perception)

s__instance(s__Hearing,s__SetOrClass)

Merge.kif 12959-12959 Hearing is a subclass of perception
s__instance(s__Perception,s__SetOrClass)

s__instance(s__Seeing,s__SetOrClass)

s__subclass(s__Seeing,s__Perception)

Merge.kif 12898-12898 Seeing is a subclass of perception
s__instance(s__Smelling,s__SetOrClass)

s__instance(s__Perception,s__SetOrClass)

s__subclass(s__Smelling,s__Perception)

Merge.kif 12933-12933 Smelling is a subclass of perception
s__instance(s__TactilePerception,s__SetOrClass)

s__instance(s__Perception,s__SetOrClass)

s__subclass(s__TactilePerception,s__Perception)

Merge.kif 13008-13008 Tactile perception is a subclass of perception
s__instance(s__Tasting,s__SetOrClass)

s__instance(s__Perception,s__SetOrClass)

s__subclass(s__Tasting,s__Perception)

Merge.kif 12946-12946 Tasting is a subclass of perception
s__termFormat(s__ChineseLanguage,s__Perception,'"感知"')

chinese_format.kif 1216-1216
s__termFormat(s__EnglishLanguage,s__Perception,'"perception"')

english_format.kif 1658-1658

appearance as argument number 3
-------------------------


s__domainSubclass(s__SenseImpSenseInabilityFnairmentFn__m,n__1,s__Perception)

Merge.kif 12886-12886 The number 1 argument of SenseImpSenseInabilityFnairmentFn is a subclass of perception
s__domainSubclass(s__SenseImpairmentFn__m,n__1,s__Perception)

Merge.kif 12866-12866 The number 1 argument of sense impairment is a subclass of perception

antecedent
-------------------------


( ! [V__AGENT,V__PERCEPT] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__PERCEPT,s__Perception) &
             s__agent(V__PERCEPT,V__AGENT))
         =>
         (s__instance(V__AGENT,s__Animal)))))
   )
)

Merge.kif 12832-12836
( ! [V__OBJ,V__PERCEPTION] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__PERCEPTION,s__Perception) &
             s__patient(V__PERCEPTION,V__OBJ))
         =>
         (( ? [V__PROP] :
             ((s__instance(V__PROP,s__PerceptualAttribute) &
                 s__attribute(V__OBJ,V__PROP))))))))
)
)

Merge.kif 16896-16903

consequent
-------------------------


( ! [V__A,V__ELT,V__T] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__T,s__Object))
       =>
       (((s__instance(V__ELT,s__ExperiencingALumpInTheThroat) &
             s__experiencer(V__ELT,V__A))
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__Perception) &
                 s__subProcess(V__P,V__ELT)
               &
               s__agent(V__P,V__A)
             &
             s__patient(V__P,V__T)
           &
           s__instance(V__T,s__Throat) &
           s__part(V__T,V__A))))))))
)
)

emotion.kif 1711-1722
No TPTP formula. May not be expressible in strict first order. emotion.kif 1584-1598
( ! [V__A,V__ELT,V__T] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__T,s__Object))
       =>
       (((s__instance(V__ELT,s__ExperiencingHeatInCheeksOrChest) &
             s__experiencer(V__ELT,V__A))
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__Perception) &
                 s__subProcess(V__P,V__ELT)
               &
               s__agent(V__P,V__A)
             &
             s__patient(V__P,V__T)
           &
           (s__instance(V__T,s__Torso) |
             s__instance(V__T,s__Face))
           &
           s__part(V__T,V__A))))))))
)
)

emotion.kif 1734-1747
( ! [V__P,V__H,V__PROP] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__PROP,s__Proposition) &
         s__instance(V__PROP,s__Sentence))
       =>
       (((s__instance(V__H,s__Hallucination) &
             s__experiencer(V__H,V__P))
         =>
         (( ? [V__PER] :
             ((s__instance(V__PER,s__Perception) &
                 s__experiencer(V__PER,V__P)
               &
               s__causes(V__H,V__PER)
             &
             s__containsInformation(V__PER,V__PROP)
           &
           s__truth(V__PROP,'$false__m'))))))))
)
)

Mid-level-ontology.kif 6075-6085
No TPTP formula. May not be expressible in strict first order. emotion.kif 873-885
No TPTP formula. May not be expressible in strict first order. emotion.kif 860-871
No TPTP formula. May not be expressible in strict first order. emotion.kif 801-811
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__SentientAgent) =>
       (s__capability(s__Perception,s__experiencer__m,V__AGENT)))
   )
)

Merge.kif 12838-12840
No TPTP formula. May not be expressible in strict first order. Merge.kif 15175-15183
No TPTP formula. May not be expressible in strict first order. Merge.kif 15185-15196


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