BeginFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13933-13941 |
|
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. | Food.kif 3076-3094 |
|
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. | 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. | 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. | Merge.kif 13979-13987 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10961-10974 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17171-17191 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20003-20015 |
|
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 2492-2505 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12408-12415 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5503-5518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18099-18106 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2516-2530 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13953-13966 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2412-2419 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17585-17600 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10740-10748 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 944-955 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14000-14008 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |