No TPTP formula. May not be expressible in strict first order. |
naics.kif 8207-8225 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8139-8150 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8159-8175 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2359-2369 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 524-532 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17414-17424 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19498-19508 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19514-19524 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 900-909 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 37-44 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 727-734 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 436-465 |
|
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. |
Mid-level-ontology.kif 17467-17479 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 883-896 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3691-3711 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3735-3755 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4127-4132 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4102-4107 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 393-398 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1442-1451 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1497-1502 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 887-892 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20842-20847 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |