No TPTP formula. May not be expressible in strict first order. |
naics.kif 11934-11946 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1029-1035 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2415-2421 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2428-2438 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1243-1254 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1224-1236 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1042-1050 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7773-7782 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20040-20049 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4809-4818 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11478-11487 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7805-7815 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5772-5778 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5805-5811 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7678-7686 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9711-9720 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2383-2390 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11668-11676 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2336-2346 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10451-10461 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 45-52 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2320-2326 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2563-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30733-30746 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |