No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2991-2993 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2996-2996 |
The number 1 argument of GMV is an instance of agent |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2997-2997 |
The number 2 argument of GMV is an instance of organization |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2998-2998 |
The number 3 argument of GMV is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2999-2999 |
The number 4 argument of GMV is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2995-2995 |
GMV is an instance of quaternary predicate |