No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3840-3845 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3377-3383 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 600-608 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3993-3998 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4365-4372 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 48-56 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3963-3968 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3904-3909 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7351-7365 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1909-1915 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3934-3939 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3872-3877 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 299-306 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15166-15187 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3948-3953 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1772-1786 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4481-4492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9561-9574 |
|