No TPTP formula. May not be expressible in strict first order. | Merge.kif 12863-12863 | Manufatura e' uma sub-classe de Fazer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 696-696 | StockpilingWeaponOfMassDestruction e' uma sub-classe de Manufatura |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12867-12867 | Publicacao e' uma sub-classe de Manufatura |