| Malfunctioning(malfunctioning) | | algorithm_error, defect, disk_error, fault, flaw, hardware_error, malfunction, malfunctioning, misfunction, nonfunctional, programming_error, run-time_error, runtime_error, semantic_error, software_error, syntax_error |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2314-2315 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2313-2313 | Malfunctioning is an instance of device attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2303-2303 | Functioning is the opposite of malfunctioning |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35858-35858 | Functioning is the opposite of malfunctioning |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35857-35857 | Functioning is the opposite of malfunctioning |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35856-35856 | Functioning is the opposite of malfunctioning |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2317-2321 |
|
|
|
|