No TPTP formula. May not be expressible in strict first order. | engineering.kif 520-520 | Source is a subclass of pure twopole |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 524-524 | Across variable source is a subclass of source |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 528-528 | Through variable source is a subclass of source |
![]() |