FinfishFishing
|
|
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 | FinfishFishing e' um sub-atributo de FishingIndustry |
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 |