No TPTP formula. May not be expressible in strict first order. |
engineering.kif 745-745 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7718-7718 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7726-7726 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7719-7719 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7720-7720 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7721-7721 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6816-6816 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7723-7723 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 747-747 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 746-746 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 748-748 |
Relay is a subclass of electrical component |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 749-749 |
Relay is a subclass of switch device |