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 SelfConnectedObject 的 approximate 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 SelfConnectedObject 的 approximate 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 SelfConnectedObject 的 approximate 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 SelfConnectedObject 的 approximate 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 GeographicArea 的 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 | 部分 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 |