located |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2111-2112 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4078-4080 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 763-764 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4075-4075 | 域 位於, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4076-4076 | 域 位於, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4070-4070 | 例 位於 and AntisymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4072-4072 | 例 位於 and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4071-4071 | 例 位於 and TransitiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4073-4073 | 子關係 位於 and 部分位於 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 145-145 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 146-146 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 94-94 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 170-170 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1921-1921 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 46-46 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 128-128 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 176-176 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 208-208 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 113-113 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 93-93 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 339-339 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3868-3868 | 相關的內部概念 時間 and 位於 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4134-4134 | 子關係 完全定位 and 位於 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14046-14046 | 子關係 地理分區域 and 位於 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7576-7576 | 子關係 組織總部 and 位於 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17404-17404 | 子關係 在船上 and 位於 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9974-9974 | 子關係 部分填補 and 位於 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24758-24758 | 子關係 postCity and 位於 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24701-24701 | 子關係 postCountry and 位於 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24742-24742 | 子關係 postDistrict and 位於 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24670-24670 | 子關係 postNeighborhood and 位於 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24784-24784 | 子關係 postPostcodeArea and 位於 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 146-146 | |
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. | Mid-level-ontology.kif 24790-24795 | 位於 PostalPlace and PostcodeArea 例 PostalPlace and PostalPlace 例 PostcodeArea and PostcodeArea PostalPlace 是在 post code PostcodeArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24763-24768 | 位於 PostalPlace and City 例 PostalPlace and PostalPlace 例 City and City PostalPlace 是在 City |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24676-24681 | 位於 PostalPlace and Neighborhood 例 PostalPlace and PostalPlace 例 Neighborhood and Neighborhood PostalPlace 是在 Neighborhood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24747-24752 | 位於 PostalPlace and StateOrProvince 例 PostalPlace and PostalPlace 例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24713-24720 | 位於 PostalPlace and GeopoliticalArea 例 PostalPlace and PostalPlace 例 GeopoliticalArea and Nation 例 GeopoliticalArea and 依賴或特殊主權領域 PostalPlace 是在 GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
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. | Military.kif 772-778 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1907-1912 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 | |
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. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1008-1019 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25035-25044 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1879-1884 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 665-671 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2244-2252 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1004-1023 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 773-782 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 974-984 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 951-966 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18202-18219 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | 等於 OrganismPopulationFn Organism and GeographicArea and 基數 卡帕 OrganismI and 例 OrganismI and Organism 位於 OrganismI and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1920-1920 | 持有期間 何時 JesusOfNazareth and 位於 JesusOfNazareth and 巴勒斯坦 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2563-2563 | 位於 AalandIslands and 波羅的海 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4695-4695 | 位於 南極極地電流 and 南部海洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 588-588 | 位於 法國南部和南極的土地 and 南 和 印度洋 的 directional 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 586-586 | 位於 法國南部和南極的土地 and 印度洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 231-231 | 位於 聖海倫娜 and 南大西洋 |