attribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 966-975 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 949-958 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1008-1019 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 983-992 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4482-4491 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10276-10280 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10265-10269 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1767-1772 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1789-1795 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18299-18306 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12656-12669 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12616-12629 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18063-18067 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1865-1870 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1858-1863 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1879-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1872-1877 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 142-146 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 69-73 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 297-301 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18308-18314 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17736-17741 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17764-17769 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16343-16353 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21474-21489 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |