|
|
  SpanishLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14997-14998 | |
| 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 7949-7949 | |
| 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. | pictureList.kif 6884-6884 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7951-7951 | |
| 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 14996-14996 | Spanish language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14995-14995 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 963-963 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1170-1170 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1004-1004 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 731-731 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 891-891 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 934-934 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 945-945 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 830-830 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1184-1184 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1019-1019 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1077-1077 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 815-815 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1052-1052 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 719-719 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 926-926 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 712-712 | |
| 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 |
|
|
|
