![]() |
![]() ![]()
|
![]() |
|
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 est un sous-attribut 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 |
![]() |
![]() |