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 |