WhenFn |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18505-18514 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10983-10996 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4123-4135 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4079-4092 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4101-4114 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4143-4153 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 137-146 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 391-401 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17170-17190 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4566-4576 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20002-20014 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 450-463 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30067-30075 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4498-4507 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10244-10259 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12068-12084 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12737-12750 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6997-7014 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2488-2501 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12430-12437 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10311-10319 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11986-11993 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 750-758 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18238-18242 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5502-5517 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |