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

KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceNormal
DeviceNormal(device normal)

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


(instance DeviceNormal InternalAttribute) Merge.kif 1900-1900 Device normal is an instance of internal attribute
(documentation DeviceNormal EnglishLanguage "An Attribute stating that the Device has not be subject to Damaging, at least not without a Repairing, and can function as to its intended hasPurpose.") Merge.kif 1901-1903 Device normal is an instance of internal attribute

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


(contraryAttribute DeviceDamaged DeviceNormal) Merge.kif 1906-1906 Device damaged is the opposite of device normal
(termFormat EnglishLanguage DeviceNormal "device normal") domainEnglishFormat.kif 64766-64766 Device damaged is the opposite of device normal

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability Opening patient ?VD)
        (capability Closing patient ?VD)))		 Mid-level-ontology.kif 32028-32034 If X is an instance of vehicle door and device normal is an attribute of X, then X is capable of doing opening as a patient and X is capable of doing closing as a patient
(=>
    (attribute ?D DeviceNormal)
    (not
        (exists (?DAM)
            (and
                (instance ?DAM Damaging)
                (patient ?DAM ?D)
                (not
                    (exists (?R)
                        (and
                            (instance ?R Repairing)
                            (patient ?R ?D)
                            (earlier
                                (WhenFn ?DAM)
                                (WhenFn ?R)))))))))		 Mid-level-ontology.kif 32036-32048 If device normal is an attribute of X, then there doesn't exist Y such that Y is an instance of damaging, X is a patient of Y, there doesn't exist Z such that Z is an instance of repairing, X is a patient of Z, and the time of existence of Y happens earlier than the time of existence of Z
(=>
    (and
        (attribute ?D DeviceNormal)
        (hasPurpose ?D ?F))
    (modalAttribute ?F Possibility))		 Mid-level-ontology.kif 32050-32054 If device normal is an attribute of X and X has the purpose Y, then the statement Y has the modal force of possibility


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners