equal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3754-3764 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3748-3752 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 295-302 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3083-3102 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4945-4950 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4166-4172 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 862-866 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1834-1841 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9543-9547 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3068-3089 |
|
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 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5032-5036 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22919-22924 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29583-29592 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3170-3177 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3179-3188 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3190-3202 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2906-2914 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5041-5046 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5051-5056 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 867-876 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2001-2013 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |