Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - part
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners