Swimming(swimming) | Australian_crawl, backstroke, bathe, belly-flop, break_water, breaststroke, butterfly, butterfly_stroke, crawl, dip, dive, dog_paddle, dolphin_kick, fin, float, floating, flutter_kick, frog_kick, front_crawl, jackknife, natation, paddle, plunge, school, scissors_kick, sidestroke, skin-dive, skin_diving, skinny-dip, swim, swimming, swimming_kick, swimming_stroke, thrash, treading_water |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3012-3013 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11193-11194 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1775-1776 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 765-765 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3205-3205 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11190-11190 | Swimming is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11191-11191 | Swimming is a subclass of intentional process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26885-26885 | Scuba diving is a subclass of swimming |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 106-106 | Snorkeling is a subclass of swimming |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1116-1116 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1449-1449 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 794-794 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 326-326 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 329-329 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2478-2478 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 746-746 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 331-331 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 365-365 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 815-815 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 330-330 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11196-11203 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1575-1588 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4726-4732 |
|