names |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2158-2161 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4431-4435 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 815-819 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4428-4428 | O argumento numero 1 de names e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4429-4429 | O argumento numero 2 de names e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4427-4427 | names e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4426-4426 | names e' uma sub-relacao de refers |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 309-309 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 314-314 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 177-177 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1997-1997 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 129-129 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 197-197 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3424-3424 | agentName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23214-23214 | alias e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27217-27217 | conventionalLongName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27228-27228 | conventionalShortName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14725-14725 | familyName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2205-2205 | filename e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14718-14718 | formerName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3290-3290 | fullName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14742-14742 | givenName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14757-14757 | localLongName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14762-14762 | localShortName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14738-14738 | middleName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3337-3337 | nameIndexOrder e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2095-2095 | password e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14705-14705 | titles e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4437-4437 | uniqueIdentifier e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2058-2058 | userName e' uma sub-relacao de names |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39669-39669 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3406-3411 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3374-3380 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3339-3344 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3429-3433 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3446-3450 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3480-3484 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13257-13262 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24632-24643 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24645-24655 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24584-24586 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3218-3226 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 31-33 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2495-2495 | AdanaTurkey se chama nome "Adana" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2497-2497 | AddisAbabaEthiopia se chama nome "Addis Ababa" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2499-2499 | AdenYemen se chama nome "Aden" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2501-2501 | AdoraWestBank se chama nome "Adora" |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 352-352 | AdvancedDevelopingCountry se chama nome "Advanced Developing Country" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4160-4160 | Afghanistan se chama nome "Afghanistan" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3522-3522 | Africa se chama nome "Africa" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2503-2503 | AfulaIsrael se chama nome "Afula" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2505-2505 | AgriTurkey se chama nome "Agri" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2507-2507 | AinDeflaAlgeria se chama nome "Ain Defla" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2509-2509 | AinElHajarAlgeria se chama nome "Ain el Hajar" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2511-2511 | AjaccioFrance se chama nome "Ajaccio" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2513-2513 | AlBalamandLebanon se chama nome "Al-Balamand " |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4064-4064 | Albania se chama nome "Albania" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2515-2515 | AleiSinaiGazaStrip se chama nome "Alei Sinai" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2517-2517 | AleiZahavWestBank se chama nome "Alei Zahav" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2519-2519 | AleyLebanon se chama nome "Aley" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3946-3946 | Algeria se chama nome "Algeria" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2521-2521 | AlgiersAlgeria se chama nome "Algiers" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2523-2523 | AlkhanYurtRussia se chama nome "Alkhan-Yurt" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2525-2525 | AlonMorehWestBank se chama nome "Alon Moreh" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2527-2527 | AmbonIndonesia se chama nome "Ambon" |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 813-813 | FootballUS se chama nome "American Football" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4194-4194 | AmericanSamoa se chama nome "American Samoa" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2529-2529 | AmmanJordan se chama nome "Amman" |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |