No TPTP formula. May not be expressible in strict first order. |
Geography.kif 656-656 |
The number 3 argument of comparative area is an instance of positive real number |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2547-2547 |
The number 3 argument of export partner by fraction is an instance of positive real number |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2531-2531 |
The number 3 argument of export partner by fraction in period is an instance of positive real number |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2740-2740 |
The number 3 argument of import partner by fraction is an instance of positive real number |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2724-2724 |
The number 3 argument of import partner by fraction in period is an instance of positive real number |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1040-1040 |
The number 2 argument of threshold of is an instance of positive real number |