located |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 921-931 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 939-949 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 992-1002 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 896-905 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 907-913 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 866-875 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 877-888 |
|
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. | Dining.kif 552-561 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11973-11982 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 509-521 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 463-475 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2421-2430 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2432-2445 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2456-2466 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 939-952 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9061-9065 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 655-669 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 753-763 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11368-11385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11915-11932 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3644 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5725-5736 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25821-25838 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1332-1355 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |