objectTransferred |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1947-1958 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1089-1103 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5142-5148 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5129-5134 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9318-9330 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9296-9308 |
|
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. | Medicine.kif 3317-3332 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1347-1353 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4345-4354 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9697-9709 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9717-9729 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 67-78 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24010-24017 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1353-1373 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 570-577 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18311-18320 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2803-2815 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2390-2395 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2665-2673 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3020-3028 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3036-3044 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4476-4478 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3409-3417 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12397-12406 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |