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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Harmless
Harmless(harmless)harmlessly

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30293-30294
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30292-30292 Harmless is an instance of relational attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64968-64968

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30296-30310 A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2


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