grossMerchandiseSoldInPeriod |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2988-2990 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2993-2993 | O argumento numero 1 de grossMerchandiseSoldInPeriod e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2994-2994 | O argumento numero 2 de grossMerchandiseSoldInPeriod e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2995-2995 | O argumento numero 3 de grossMerchandiseSoldInPeriod e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2996-2996 | O argumento numero 4 de grossMerchandiseSoldInPeriod e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2992-2992 | grossMerchandiseSoldInPeriod e' uma instancia de Predicado Quaternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2991-2991 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2998-3010 |
|