not |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 950-965 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11669-11676 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12621-12632 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12929-12940 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2438-2445 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5042-5050 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 718-730 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19378-19391 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12658-12672 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12234-12239 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1422-1432 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4123-4135 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4079-4092 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4101-4114 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 391-401 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4566-4576 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 564-569 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20002-20014 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 450-463 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10900-10913 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13453-13462 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6997-7014 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 618-630 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12430-12437 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1876-1888 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |