ComputerPlug
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2712-2713 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2589-2590 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2709-2710 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2586-2587 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2582-2584 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2707-2708 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2592-2593 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2715-2716 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2581-2581 | Plug is a subclass of engineering component |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2601-2601 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2597-2597 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2600-2600 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2596-2596 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2595-2595 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2599-2599 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2598-2598 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2602-2602 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2604-2606 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2608-2614 |
|