knows |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26457-26475 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22173-22182 | |
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 12970-12982 |
|
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 |