No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29974-29984 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3504-3511 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 684-695 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 823-840 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 867-876 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7972-7982 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12259-12268 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 753-763 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 89-103 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2309-2317 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16766-16776 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1312-1324 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13409-13418 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16200-16212 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 76-84 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 80-94 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 468-478 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3416-3426 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |