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 部分, 1 and Object
No TPTP formula. May not be expressible in strict first order. Merge.kif 918-918 部分, 2 and Object
No TPTP formula. May not be expressible in strict first order. Merge.kif 916-916 部分 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 915-915 部分 and PartialOrderingRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 914-914 部分 and SpatialRelation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1018-1018 不相交的關係 包含 and 部分
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 23698-23698 相關的內部概念 初始部分 and 部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23725-23725 相關的內部概念 最初包含部分 and 部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23751-23751 相關的內部概念 partTypes and 部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23624-23624 相關的內部概念 典型的部分 and 部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23661-23661 相關的內部概念 通常包含部分 and 部分
No TPTP formula. May not be expressible in strict first order. Merge.kif 965-965 子關係 零件 and 部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 34-34 子關係 病毒的遺傳基質 and 部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13172-13172 子關係 and 部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24376-24376 子關係 inString and 部分
No TPTP formula. May not be expressible in strict first order. Merge.kif 9692-9692 子關係 內飾部分 and 部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13215-13215 子關係 and 部分

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 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7596-7611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10685-10696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10672-10683
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 19443-19453
No TPTP formula. May not be expressible in strict first order. Merge.kif 9715-9720
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 703-711
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 1538-1544
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
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 794-803
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 18246-18254

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 12466-12473 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間 開始 何時 Process and 部分 Object and Entity 持有期間 結束 何時 Process and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11689 Object and Bone Object Object and 骨架 Object and 外骨骼 部分 Object and Object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1277-1287 GeographicArea 是 對於 NonnegativeInteger 在地區 延期 機場有著鋪設跑道total 設施類別 SymbolicString entity NonnegativeInteger卡帕 SymbolicString and SymbolicString and 飛機場 entity and 鋪好的跑道 部分 entity and SymbolicString 位於 SymbolicString and GeographicAreacardinality
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 19443-19453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4095
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 11967-11977
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 6357-6364
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Merge.kif 9894-9901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23710-23719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23737-23745
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 1163-1163 部分 Virus 病毒部分viral 部分 and Virus
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 711-711 部分 美國佐治亞州亞特蘭大 and 格魯吉亞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 662-662 部分 澳大利亞 and 大洋洲
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 714-714 部分 巴爾的摩馬里蘭州 and 馬里蘭
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 724-724 部分 馬薩諸塞州波士頓 and 馬薩諸塞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1611-1611 部分 芝加哥美國 and 伊利諾伊
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 854-854 部分 克利夫蘭俄亥俄州 and 俄亥俄州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 915-915 部分 康涅狄格 and 新英格蘭
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 部分 達拉斯得克薩斯 and 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 841-841 部分 底特律密執安 and 密歇根州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 835-835 部分 法戈北達科他州 and 北達科他州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1242-1242 部分 德國 and 歐洲
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1245-1245 部分 希臘 and 歐洲
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 828-828 部分 休斯敦,德克薩斯州 and 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 832-832 部分 哈德遜河 and 紐約州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 728-728 部分 堪薩斯城密蘇里州 and 密蘇里州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 820-820 部分 朝鮮半島 and 亞洲
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 805-805 部分 長島 and 紐約州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 810-810 部分 洛杉磯加利福尼亞州 and 加州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 731-731 部分 曼徹斯特新罕布什爾州 and 新罕布什爾
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 989-989 部分 馬薩諸塞 and 新英格蘭
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 733-733 部分 孟菲斯田納西州 and 田納西
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 737-737 部分 明尼阿波利斯明尼蘇達州 and 明尼蘇達
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 740-740 部分 密西西比河 and 美國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 部分 蒙特利爾加拿大 and 加拿大

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