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 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 918-918 部分 的 2 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 916-916 部分二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 915-915 部分偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 914-914 部分空间关系instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1018-1018 容纳部分disjoint 关系
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 初始部分部分 是 内部相关
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23725-23725 最初包含部分部分 是 内部相关
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23751-23751 partTypes部分 是 内部相关
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23624-23624 典型的部分部分 是 内部相关
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23661-23661 通常包含部分部分 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 965-965 组件部分subrelation
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 34-34 病毒的遗传基质部分subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13172-13172 部分subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24376-24376 inString部分subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9692-9692 内在部分部分subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13215-13215 部分subrelation

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 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数那个 实数greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒instance那个 客体10 是 那个 客体part
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 实数greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒instance那个 客体25 是 那个 客体part
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 过程结合instance 客体那个 过程resource 实体那个 过程result 若且唯若 那个 客体 不 是 那个 实体part那个 过程 出现 的 time 的开始 holdsDuring那个 客体那个 实体part那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数那个 实数greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒instance那个 客体10 是 那个 客体part
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 实数greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒instance那个 客体25 是 那个 客体part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11689 客体骨骼instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体骨架instance那个 另外 客体外骨骼instance那个 客体那个 另外 客体part
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1277-1287 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Classtotal 设施类别 若且唯若 有存在 符号串 实体 这样 那个 非负整数那个 符号串 所描述的类别 的 cardinality
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 病毒 有点 病毒部分viral 部分 是 那个 病毒part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 711-711 美国佐治亚州亚特兰大格鲁吉亚part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 662-662 澳大利亚大洋洲part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 714-714 巴尔的摩马里兰州马里兰part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 724-724 马萨诸塞州波士顿马萨诸塞part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1611-1611 芝加哥美国伊利诺伊part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 854-854 克利夫兰俄亥俄州俄亥俄州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 915-915 康涅狄格新英格兰part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 达拉斯得克萨斯德州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 841-841 底特律密执安密歇根州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 835-835 法戈北达科他州北达科他州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1242-1242 德国欧洲part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1245-1245 希腊欧洲part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 828-828 休斯敦,德克萨斯州德州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 832-832 哈德逊河纽约州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 728-728 堪萨斯城密苏里州密苏里州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 820-820 朝鲜半岛亚洲part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 805-805 长岛纽约州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 810-810 洛杉矶加利福尼亚州加州part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 731-731 曼彻斯特新罕布什尔州新罕布什尔part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 989-989 马萨诸塞新英格兰part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 733-733 孟菲斯田纳西州田纳西part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 737-737 明尼阿波利斯明尼苏达州明尼苏达part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 740-740 密西西比河美国part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 蒙特利尔加拿大加拿大part

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