not |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 719-731 |
|
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. | Mid-level-ontology.kif 10055-10078 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 552-561 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12431-12440 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1876-1888 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1893-1900 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12547-12556 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3905-3921 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5630-5650 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1935-1948 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12709-12722 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12682-12695 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11198-11211 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5823-5837 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1736-1746 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1332-1355 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17882-17892 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 292-296 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3232-3237 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16305-16324 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 189-201 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1200-1205 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |