|
|
   Covering
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3037-3038 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11462-11464 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1805-1806 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11460-11460 | Couvrir est une sous-classe de mettre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11440-11440 | D�couvrir est disjoint de couvrir |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3175-3175 | Painting est une sous-classe de couvrir |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12470-12470 | TopicalApplication est une sous-classe de couvrir |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1123-1123 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1463-1463 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 801-801 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 333-333 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 336-336 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2485-2485 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 753-753 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 338-338 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 372-372 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 822-822 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 337-337 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 507-507 | biochemicalAgentAntidote Lewisite, Dimercaprol and couvrir |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15963-15970 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3162-3173 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1315-1317 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5684-5692 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18025-18032 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12186-12188 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12190-12203 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4004-4010 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3124-3134 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3255-3266 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3496-3509 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5343-5351 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15244-15252 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4124-4132 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29781-29790 |
|
|
|
|