No TPTP formula. May not be expressible in strict first order. |
naics.kif 8408-8410 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11960-11960 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11955-11955 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11954-11954 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11958-11958 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11959-11959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11964-11964 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11965-11965 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11956-11956 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11961-11961 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11957-11957 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10284-10284 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11948-11948 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11963-11963 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11966-11966 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11949-11949 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11950-11950 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11967-11967 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11962-11962 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11951-11951 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8406-8406 |
Taxi and limousine service is a subattribute of transit and ground passenger transportation |