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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Harmless

Sigma KEE - Harmless
Harmless

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


(documentation Harmless EnglishLanguage "An Attribute stating that the Process did not cause harm - in effect, that it was not a case of Damaging.") Mid-level-ontology.kif 30317-30318
(instance Harmless RelationalAttribute) Mid-level-ontology.kif 30316-30316 Harmless ist ein fall von RelationalAttribute %n{nicht}

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


(termFormat EnglishLanguage Harmless "harmless") domainEnglishFormat.kif 64970-64970

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


(<=>
    (manner ?P Harmless)
    (and
        (not
            (instance ?P Damaging))
        (not
            (exists (?P2)
                (and
                    (instance ?P2 Damaging)
                    (subProcess ?P2 ?P))))
        (not
            (exists (?P2)
                (and
                    (instance ?P2 Damaging)
                    (causes ?P ?P2))))))
Mid-level-ontology.kif 30320-30334 Process wird in der Weise von Harmless durchgef�hrt genau dann wenn ** Process ist ein fall von Damaging nicht und es gibt nicht ** Process2 um ** Process2 ist ein fall von Damaging %n{nicht} und ** Process2 ist ein subProzess von ** Process und es gibt nicht ** Process2 um ** Process2 ist ein fall von Damaging %n{nicht} und ** Process verursacht ** Process2 %n{nicht}


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