knows |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3718-3759 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26445-26463 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22172-22181 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3218-3226 |
|
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. | ComputingBrands.kif 4235-4249 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1575-1587 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12992-13004 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 468-478 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 521-531 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 691-697 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 384-388 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1179-1185 |