incorrect inference: neoplasm SubClassOf 'has proper continuant part at all times' some body

[GoogleCodeExporter]

Explanation attached - though it's not helpful.

This is the problematic axiom:

'material pathological entity'
SubClassOf
 'part of continuant at some time' only 
    ('extended organism'
     and ('participates in at some time' some 'pathological bodily process'))

Presumably the outer OWL quantifier should be 'some'.

Could the outer temporal quantifier be strengthened to "all times"? E.g

'material pathological entity'
SubClassOf
 'part of continuant at all times' some 
    ('extended organism'
     and ('participates in at some time' some 'pathological bodily process'))

This would give stronger inferences due to transitivity. However, this would be 
problematic for transferable pathological entities - tumor xenograft, Tasmanian 
Devil facial tumor, etc

Original issue reported on code.google.com by cmung...@gmail.com on 5 Feb 2013 at 4:14