No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2529-2529 |
|
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 3432-3433 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4623-4625 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25744-25745 |
|
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 24926-24927 |
|
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 3177-3179 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2907-2909 |
|
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 3475-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3588-3592 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3664-3664 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4819-4820 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2108-2114 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2100-2106 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2116-2122 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |