relatedInternalConcept |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1519-1521 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 619-623 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 85-87 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 97-100 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 616-616 | O argumento numero 1 de relatedInternalConcept e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 617-617 | O argumento numero 2 de relatedInternalConcept e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 614-614 | relatedInternalConcept e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 615-615 | relatedInternalConcept e' uma instancia de Relacao Qquivalente |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 315-315 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 320-320 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 180-180 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 249-249 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2000-2000 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 132-132 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 188-188 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 413-413 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 287-287 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 200-200 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 190-190 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 441-441 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 629-629 | relatedExternalConcept e' relacionado internamente por SUMO a relatedInternalConcept |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 316-316 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49318-49318 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49317-49317 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49316-49316 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 544-544 | AcidJazz e' relacionado internamente por SUMO a FunkMusic |
No TPTP formula. May not be expressible in strict first order. | Music.kif 545-545 | AcidJazz e' relacionado internamente por SUMO a HipHopMusic |
No TPTP formula. May not be expressible in strict first order. | Music.kif 543-543 | AcidJazz e' relacionado internamente por SUMO a JazzMusic |
No TPTP formula. May not be expressible in strict first order. | Music.kif 575-575 | AlternativeCountry e' relacionado internamente por SUMO a CountryMusic |
No TPTP formula. May not be expressible in strict first order. | Music.kif 582-582 | AlternativeDance e' relacionado internamente por SUMO a AlternativeRock |
No TPTP formula. May not be expressible in strict first order. | Music.kif 583-583 | AlternativeDance e' relacionado internamente por SUMO a PopMusic |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4690-4690 | AmericanInstituteInTaiwan e' relacionado internamente por SUMO a DiplomaticOrganization |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1905-1905 | AmusementGamblingAndRecreationIndustries e' relacionado internamente por SUMO a TourismIndustry |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 735-735 | Anger e' relacionado internamente por SUMO a Contempt |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1237-1237 | AngryFacialExpression e' relacionado internamente por SUMO a Anger |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1242-1242 | AngryFacialExpression e' relacionado internamente por SUMO a Frowning |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1942-1942 | AngryVoiceUtterance e' relacionado internamente por SUMO a Anger |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1938-1938 | AngryVoiceUtterance e' relacionado internamente por SUMO a SpeakingLoudly |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 54-54 | Appraisal e' relacionado internamente por SUMO a AppraisalProcess |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1906-1906 | ArtsEntertainmentAndRecreation e' relacionado internamente por SUMO a TourismIndustry |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12395-12395 | Colar e' relacionado internamente por SUMO a Colocar |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6480-6480 | BalsaTree e' relacionado internamente por SUMO a BalsaWood |
No TPTP formula. May not be expressible in strict first order. | Music.kif 599-599 | Bebop e' relacionado internamente por SUMO a JazzMusic |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6485-6485 | BeechTree e' relacionado internamente por SUMO a BeechWood |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5945-5945 | BeginNodeFn e' relacionado internamente por SUMO a InitialNodeFn |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24100-24100 | BiologicalConception e' relacionado internamente por SUMO a Nascimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24101-24101 | BiologicalConception e' relacionado internamente por SUMO a Mating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24099-24099 | BiologicalConception e' relacionado internamente por SUMO a Reproducao Sexual |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6490-6490 | BirchTree e' relacionado internamente por SUMO a BirchWood |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6495-6495 | BlackCherryTree e' relacionado internamente por SUMO a CherryWood |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |