No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12646-12650 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12652-12664 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15983-15985 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4019-4027 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1134-1136 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15112-15116 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 526-528 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 520-522 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1939-1941 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3686-3688 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1292-1298 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20172-20175 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 197-202 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12192-12194 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 858-860 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 854-856 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10176-10178 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12345-12347 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12349-12351 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10171-10174 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 257-259 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1937-1939 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16684-16686 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1357-1359 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3201-3203 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |