| 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 1788-1789 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1787-1787 | 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 1777-1777 | Functioning is the opposite of malfunctioning |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35832-35832 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35831-35831 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35830-35830 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1791-1795 |
|
|
|
|