located |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2610-2619 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2489-2505 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11405-11412 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5779-5798 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17445-17456 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11384-11391 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17266-17274 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16227-16239 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12984-12997 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1613-1621 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11934-11945 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11174-11181 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18291-18301 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 787-794 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 693-706 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 627-646 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1841-1858 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1822-1839 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15992-15998 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15984-15990 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3603-3617 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7068-7077 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21413-21427 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21452-21468 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |