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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceNormal
DeviceNormal

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


(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.") Mid-level-ontology.kif 29464-29466
(instance DeviceNormal InternalAttribute) Mid-level-ontology.kif 29463-29463 DeviceNormal è un' istanza di AttributoInterno

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


(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 29489-29489 DeviceDamaged è opposto a DeviceNormal
(termFormat EnglishLanguage DeviceNormal "device normal") domainEnglishFormat.kif 64765-64765

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


(=>
    (and
        (attribute ?D DeviceNormal)
        (hasPurpose ?D ?F))
    (modalAttribute ?F Possibility))
Mid-level-ontology.kif 29482-29486
(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability Opening patient ?VD)
        (capability Closing patient ?VD)))
Mid-level-ontology.kif 29453-29459
(=>
    (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 29468-29480


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