No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29974-29974 |
rents is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1055-1055 |
sector composition of GDP in period is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1094-1094 |
sector value of GDP in period is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 390-390 |
unit price is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1856-1856 |
vote fraction received is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 928-928 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1063-1063 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 604-604 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 135-135 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 138-138 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2289-2289 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 556-556 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 172-172 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 625-625 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 139-139 |
|