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