No TPTP formula. May not be expressible in strict first order. |
Geography.kif 648-648 |
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 2540-2540 |
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 2524-2524 |
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 2733-2733 |
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 2717-2717 |
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 |