No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3729-3733 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3724-3724 |
The number 1 argument of contrast ratio is an instance of object |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3725-3725 |
The number 2 argument of contrast ratio is an instance of real number |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3723-3723 |
contrast ratio is an instance of binary predicate |