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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54030-54030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54029-54029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54028-54028 |
|