part |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1570-1572 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 920-924 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 143-146 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 168-171 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 917-917 | O argumento numero 1 de part e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 918-918 | O argumento numero 2 de part e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 916-916 | part e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 915-915 | part e' uma instancia de Relacao parcialmente Ordenada |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 914-914 | part e' uma instancia de Relacao Espacial |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1018-1018 | contains e part sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 161-161 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 162-162 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 100-100 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 210-210 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1929-1929 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 52-52 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 64-64 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 197-197 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 248-248 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 119-119 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 101-101 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 402-402 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23754-23754 | initialPart e' relacionado internamente por SUMO a part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23782-23782 | initiallyContainsPart e' relacionado internamente por SUMO a part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23808-23808 | partTypes e' relacionado internamente por SUMO a part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23676-23676 | typicalPart e' relacionado internamente por SUMO a part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23713-23713 | typicallyContainsPart e' relacionado internamente por SUMO a part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 965-965 | component e' uma sub-relacao de part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 34-34 | geneticSubstrateOfVirus e' uma sub-relacao de part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13199-13199 | half e' uma sub-relacao de part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24433-24433 | inString e' uma sub-relacao de part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9728-9728 | interiorPart e' uma sub-relacao de part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13242-13242 | most e' uma sub-relacao de part |
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. | Geography.kif 7440-7451 | Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 10.0 e' maior que Numero Real Numero Real e' maior que 2.5 Objeto10 Objeto10 e' uma instancia de CoarseParticulateMatter Objeto10 e' uma &parte de Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7469-7479 | Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) Numero Real e' maior ou igual a 2.5 Objeto25 Objeto25 e' uma instancia de FineParticulateMatter Objeto25 e' uma &parte de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7597-7612 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10712-10723 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10699-10710 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1754-1759 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1766-1771 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2693-2704 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2665-2676 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19470-19480 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9751-9756 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 702-710 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 234-249 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 514-518 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1541-1549 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2568-2586 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 793-802 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1838-1860 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1862-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1799-1807 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18325-18333 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12512-12519 | Processo e' uma instancia de Combinar Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7440-7451 | Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 10.0 e' maior que Numero Real Numero Real e' maior que 2.5 Objeto10 Objeto10 e' uma instancia de CoarseParticulateMatter Objeto10 e' uma &parte de Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7469-7479 | Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) Numero Real e' maior ou igual a 2.5 Objeto25 Objeto25 e' uma instancia de FineParticulateMatter Objeto25 e' uma &parte de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11709-11716 | Objeto e' uma instancia de Osso Objeto Objeto e' uma instancia de Skeleton Objeto e' uma instancia de Exoskeleton Objeto e' uma &parte de Objeto |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1277-1287 | totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithPavedRunway and Numero Inteiro nao-negativo Sequencia Simbolica Entidade cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 632-640 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 316-322 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 426-436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19470-19480 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4071-4088 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11994-12004 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 32-46 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6351-6358 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2550-2566 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9930-9937 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23767-23776 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23794-23802 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6237-6246 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6257-6275 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1164-1164 | ViralPartFn Virus and VirusPart e' uma &parte de Virus |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 711-711 | AtlantaGeorgia e' uma &parte de Georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 662-662 | Australia e' uma &parte de Oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 714-714 | BaltimoreMaryland e' uma &parte de Maryland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 724-724 | BostonMassachusetts e' uma &parte de Massachusetts |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1611-1611 | ChicagoUnitedStates e' uma &parte de Illinois |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 854-854 | ClevelandOhio e' uma &parte de Ohio |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 915-915 | Connecticut e' uma &parte de NewEngland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 851-851 | DallasTexas e' uma &parte de Texas |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 841-841 | DetroitMichigan e' uma &parte de Michigan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 835-835 | FargoNorthDakota e' uma &parte de NorthDakota |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1242-1242 | Germany e' uma &parte de Europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | Greece e' uma &parte de Europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 828-828 | HoustonTexas e' uma &parte de Texas |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 832-832 | HudsonRiver e' uma &parte de NewYorkState |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 728-728 | KansasCityMissouri e' uma &parte de Missouri |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 820-820 | KoreanPeninsula e' uma &parte de Asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 805-805 | LongIsland e' uma &parte de NewYorkState |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 810-810 | LosAngelesCalifornia e' uma &parte de California |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 731-731 | ManchesterNewHampshire e' uma &parte de NewHampshire |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 989-989 | Massachusetts e' uma &parte de NewEngland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 733-733 | MemphisTennessee e' uma &parte de Tennessee |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 737-737 | MinneapolisMinnesota e' uma &parte de Minnesota |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 740-740 | MississippiRiver e' uma &parte de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 746-746 | MontrealCanada e' uma &parte de Canada |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |