|
|
  FishingHuntingAndTrapping
|
|
|
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1626-1626 | connectedBodyPartTypes ArteryOfBulbOfVestibule, InternalPudendalArtery and FemaleHuman |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1646-1646 | connectedBodyPartTypes DeepArteryOfClitoris, InternalPudendalArtery and FemaleHuman |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1636-1636 | connectedBodyPartTypes DorsalArteryOfClitoris, InternalPudendalArtery and FemaleHuman |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1498-1498 | connectedBodyPartTypes OvarianArtery, AbdominalAorta and FemaleHuman |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1611-1611 | connectedBodyPartTypes PosteriorLabialBranchArtery, InternalPudendalArtery and FemaleHuman |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1663-1663 | connectedBodyPartTypes UterineArtery, InternalIliacArtery and FemaleHuman |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1576-1576 | connectedBodyPartTypes VaginalArtery, InternalIliacArtery and FemaleHuman |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1670-1670 | connectedBodyPartTypes VaginalArtery, UterineArtery and FemaleHuman |
|
|
|