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 11427-11434 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5778-5797 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17444-17455 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11406-11413 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17265-17273 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16226-16238 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13006-13019 |
|
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 11933-11944 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11196-11203 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18290-18300 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 783-790 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 689-702 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 623-642 |
|
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 16014-16020 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16006-16012 |
|
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 7067-7076 |
|
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 21412-21426 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21451-21467 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |