MeasureFn |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 783-788 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13536-13545 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13486-13497 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13566-13575 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13577-13586 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13505-13514 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13516-13527 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13467-13477 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 818-828 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1922-1930 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1838-1845 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2005-2017 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 546-561 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6165-6176 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5919-5926 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1172-1184 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25722-25737 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3331-3341 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1063-1073 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17143-17164 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1445-1457 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |