ImmediateFutureFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2537-2546 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 941-955 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3629-3642 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3657-3670 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3682-3695 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3708-3721 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2798-2807 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16434-16440 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 20-39 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4000-4010 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4022-4031 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1519-1529 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10498-10510 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1375-1390 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 62-71 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4263-4282 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3606-3622 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8535-8537 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3801-3812 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2103-2118 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7965-7970 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 112-129 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2670-2692 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27047-27069 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3775-3800 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |