TreeView Knowledge Base Browser - 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	The number 1 argument of GMV is an instance of agent
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2994-2994	The number 2 argument of GMV is an instance of organization
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2995-2995	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 2996-2996	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 2992-2992	GMV is an instance of quaternary predicate

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