Undamaged
|
|
appearance as argument number 1 |
(documentation Undamaged EnglishLanguage "A state where no Damaging has occurred to an object. Note that this would exclude cases where some damage occurred and was repaired.") | Mid-level-ontology.kif 30215-30216 | |
(instance Undamaged RelationalAttribute) | Mid-level-ontology.kif 30214-30214 |
appearance as argument number 2 |
(termFormat EnglishLanguage Undamaged "undamaged") | domainEnglishFormat.kif 65647-65647 |
antecedent |
(=> (holdsDuring ?T (attribute ?O Undamaged)) (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?O) (earlier (WhenFn ?D) ?T))))) |
Mid-level-ontology.kif 30218-30226 |