represents |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3150-3155 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13232-13238 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1821-1826 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1209-1223 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15894-15899 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1607-1613 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2349-2354 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1217-1222 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1969-1987 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 562-570 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2511-2517 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 240-248 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 270-278 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 319-335 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2431-2436 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2754-2763 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1695-1700 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1387-1407 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 943-948 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14305-14311 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1275-1301 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26683-26689 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14432-14438 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1457-1470 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 865-871 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |