No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1541-1541 |
|
No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1596-1596 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2924-2932 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3778-3783 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14551-14553 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3490-3492 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14959-14962 |
|
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. |
chinese_format.kif 3817-3818 |
|
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. |
chinese_format.kif 2224-2225 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |