No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2830-2844 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2169-2179 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9561-9574 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6622-6631 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 233-245 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 250-262 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1940-1953 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11005-11015 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11023-11033 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 179-188 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 597-605 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 198-206 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13474-13484 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 326-334 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15451-15459 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1727-1746 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1759-1778 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1791-1810 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1766-1776 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1748-1758 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1591-1595 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 796-805 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1192-1202 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1156-1166 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |