No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1883-1884 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2414-2415 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2480-2482 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2434-2436 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21491-21492 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17096-17099 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 956-961 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3896-3899 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 440-442 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1679-1685 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2058-2058 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1435-1437 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1392-1393 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1364-1365 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4765-4766 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1672-1676 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1612-1615 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13714-13720 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16510-16511 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 520-521 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13152-13163 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17139-17140 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1269-1270 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 630-631 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 846-848 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |