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

KB Term:  Term intersection
English Word: 

Sigma KEE - Harmless
Harmless(harmless)harmlessly

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


(instance Harmless RelationalAttribute) Mid-level-ontology.kif 32939-32939 Harmless is an instance of relational attribute
(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 32940-32941 Harmless is an instance of relational attribute

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


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

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 32943-32957 X is performed in the manner harmless if, only if X is not an instance of damaging, there doesn't exist Y such that Y is an instance of damaging, Y is a subprocess of X, there doesn't exist Y such that Y is an instance of damaging, and X causes Y


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