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