No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2535-2535 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1172-1175 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1650-1658 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3428-3429 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4625-4627 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26265-26266 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1125-1134 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1206-1231 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1139-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1891-1896 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1179-1185 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25444-25445 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 295-296 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 237-239 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3170-3172 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2913-2915 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1576-1585 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5380-5389 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3473-3474 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3597-3601 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3673-3673 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4816-4817 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2140-2146 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2132-2138 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2148-2154 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |