No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9885-9892 |
|
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 18564-18577 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1920-1929 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 942-947 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1914-1920 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9837-9846 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1199-1207 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1212-1222 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2563-2568 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5138-5143 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18477-18488 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9918-9921 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 82-87 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1090-1095 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10882-10887 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1185-1196 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 571-576 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 558-569 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 356-361 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1145-1150 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1126-1131 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1138-1143 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4530-4532 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3482-3509 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |