instrument |
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 |