No TPTP formula. May not be expressible in strict first order. |
engineering.kif 524-524 |
AcrossVariableSource e' uma sub-classe de Source |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 528-528 |
ThroughVariableSource e' uma sub-classe de 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 |
|