No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10023-10030 |
|
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 20135-20148 |
|
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 952-957 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2072-2078 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9975-9984 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1265-1273 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1278-1288 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2769-2774 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1960-1969 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1943-1951 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5392-5397 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20048-20059 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10056-10059 |
|
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 1098-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12213-12218 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1193-1204 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 575-580 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 562-573 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 361-366 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1153-1158 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1134-1139 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1146-1151 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |