holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18203-18209 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18181-18187 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1558-1562 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3889-3893 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14337-14344 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7954-7958 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3529-3534 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2123-2130 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2167-2174 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2213-2220 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1991-1998 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2288-2295 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2594-2601 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9839-9861 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12383-12397 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30242-30253 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9900-9922 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2332-2343 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25035-25044 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 89-103 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 665-671 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19362-19368 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13831-13839 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4081-4113 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30807-30813 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |