| FinfishFishing(finfish fishing)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 537-539 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9216-9216 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9215-9215 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9217-9217 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 535-535 | Finfish fishing is a subattribute of fishing industry |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23858-23858 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23857-23857 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23856-23856 |
|
|
|