![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 503-503 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 504-504 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 505-505 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 506-506 | Ideal twopole is a subclass of pure twopole |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29181-29181 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29180-29180 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29179-29179 |
![]() |
![]() |