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


KB Term:  Term intersection
English Word: 

  TropicOfCapricorn

 Sigma KEE - SenseImpairmentFn
SenseImpairmentFn

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


(instance SenseImpairmentFn UnaryFunction) Merge.kif 13796-13796 Sense impairment is an instance of unary function
(documentation SenseImpairmentFn EnglishLanguage "A diminished capacity for Perception of some sort.") Merge.kif 13797-13798 Sense impairment is an instance of unary function
(domainSubclass SenseImpairmentFn 1 Perception) Merge.kif 13799-13799 The number 1 argument of sense impairment is a subclass of perception
(rangeSubclass SenseImpairmentFn PathologicProcess) Merge.kif 13800-13800 The values returned by sense impairment are subclasses of pathologic process

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


(termFormat EnglishLanguage SenseImpairmentFn "sense impairment") Merge.kif 13801-13801
(format EnglishLanguage SenseImpairmentFn "impairment in %1") Merge.kif 13802-13802

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


(=>
    (and
        (instance ?SI
            (SenseImpairmentFn ?S))
        (experiencer ?SI ?A))
    (exists (?A2)
        (and
            (not
                (equal ?A2 ?A))
            (capability ?S experiencer ?A2)
            (not
                (capability ?S experiencer ?A)))))		 Merge.kif 13804-13814 If X is an instance of impairment in Y and Z experiences X, then there exists W such that equal W, Z, W is capable of doing Y as a experiencer, and Z is not capable of doing Y as a experiencer
(=>
    (and
        (instance ?SI
            (SenseImpairmentFn ?S))
        (experiencer ?SI ?A))
    (not
        (capability ?S experiencer ?A)))		 Merge.kif 13824-13829 If X is an instance of impairment in Y and Z experiences X, then Z is not capable of doing Y as a experiencer

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners