WhenFn |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23768-23779 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23789-23800 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1741-1761 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1886-1892 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11754-11769 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3076-3094 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3496-3510 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22348-22356 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29758-29765 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 767-785 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 754-765 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1141-1147 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3226-3247 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17112-17117 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11656-11666 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12599-12610 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2196-2203 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2438-2445 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12636-12650 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1836-1842 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13979-13987 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1867-1871 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |