| SpanishLanguage(spanish language)
| | Mexican_Spanish, Spanish |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16388-16389 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10359-10444 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7948-7948 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7949-7949 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6883-6883 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7950-7950 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10358-10358 | Spanish language is an instance of castilian language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16387-16387 | Spanish language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16386-16386 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 963-963 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1170-1170 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1004-1004 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 731-731 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 891-891 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 934-934 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 945-945 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 830-830 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1184-1184 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1019-1019 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1077-1077 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 815-815 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1052-1052 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 719-719 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 926-926 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 712-712 | Spanish language is an instance of spoken human language |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 325-326 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 294-295 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 296-297 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 131-134 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 220-222 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 225-226 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 272-275 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 252-255 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 233-239 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 298-299 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 302-306 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 267-270 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 261-264 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 265-266 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 245-246 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 227-228 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 211-215 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 318-320 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 137-138 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 323-324 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 160-167 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 152-159 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 300-301 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 280-283 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 290-293 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14799-14799 | "es" in ISO_639_1 denotes spanish language |
|
|
|