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 |