No TPTP formula. May not be expressible in strict first order. |
Military.kif 759-769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17637-17655 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 872-880 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17615-17633 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4384-4399 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13279-13284 |
|
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. |
Dining.kif 762-767 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1570-1581 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11785-11795 |
|
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. |
Mid-level-ontology.kif 18700-18711 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4187-4195 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4197-4208 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4210-4220 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18563-18576 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18585-18593 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3590-3601 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13159-13163 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11327-11350 |
|
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. |
Mid-level-ontology.kif 13147-13157 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 212-218 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |