TreeView Knowledge Base Browser

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	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	能力 ValetParking, agent and Organization Organization 是 CognitiveAgent 的 customer 位於 Organization and Object 例 Process and 到達 agent Process and CognitiveAgent 患者 Process and Entity 目的地 Process and Object Human 佔據位置 Human, Valet and Organization 模態屬性 entity entity 例 entity and ValetParking agent entity and Human 患者 entity and Entity 目的地 entity and entity 例 entity and ParkingRegion and 可能性
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 703-711	chromosomeNumber 真核細胞 and Integer 部分 Object and 真核細胞例 Object and 細胞核例真核細胞OLL and Collection 位於真核細胞OLL and Object Chromosome 是真核細胞OLL 的 member 類別 Integer 是真核細胞OLL 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Military.kif 772-778	公民 Human and Nation Object 位於 Human and Object 位於 Human and Nation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1907-1912	LengthMeasure 是 Object 的 elevation 位於 Object and Object 例 Object and GeographicArea 膚淺的部分 Object and 行星地球
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	Physical 的使用對於 HotelUnit 是免費子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Object 是對於 Human 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	Physical 的使用對於 HotelUnit 是免費子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 Process 是對於 Human 的 price 測量 0.0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 794-803	haploidNumber Gamete and Integer 例 Gamete and Gamete 部分 Object and Gamete 例 Object and 細胞核例 Collection and Collection 位於 Collection and Object Chromosome 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity-PLACE and entity-RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity-RES and Object 例 entity-PLACE and GeopoliticalArea 位於 entity-RES and entity-PLACE 等於 GeographicArea and entity-PLACE 等於 entity and entity-RES GeographicArea 是 entity-PLACE 的 geographic 次要地區 entity-PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity-RES
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	例 Process and LocalAnesthetizing 位於 Process and Object 例 Object and BodyPart 部分 Object and Object 患者 Process and Object 持有期間何時 Process and attribute Object and PainFn Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25035-25044	例 Entity and Human 持有期間 TimePosition and entity 有 number entity entity 是 Entity 的 telephone number 位於 entity and entity 例 entity and 住宅持有期間 TimePosition and 棲息 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1879-1884	例 Object and GeographicArea 例 Physical and 地質斷層位於 Physical and Object attribute Object and 地質穩定
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	例 Process and 防表面操作患者 Process and Entity 持有期間何時 Process and 位於 Entity and Entity 例 Entity and WaterArea
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	例 Process and CateringService agent Process and AutonomousAgent 目的地 Process and ProcessUST 位於 AutonomousAgent and Object AutonomousAgent 是 ProcessUST 的 customer Process Entity and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 患者 Process and Entity 例 Process and Eating agent Process and ProcessUST Process 是 located 在 Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	例協議 and 民政協議協議是 entity_MIL_THIS 的 party 協議例 entity_MIL_THIS and 軍事組織 entity_THIS 是 entity_MIL_THIS 的 military 區域例 entity_THIS and Nation 位於 entity_MIL_THIS and entity_FRIENDLY 例 entity_FRIENDLY and Nation 等於 entity_THIS and entity_FRIENDLY enemy entity_THIS and entity_FRIENDLY entity_FRIENDLY 位於 entity_FRIENDLY and entity_FRIENDLY 協議是 entity_FRIENDLY 的 party 協議例 entity_FRIENDLY and 軍事組織
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	例 Process and 民政運作位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 例 Proposition and GeopoliticalArea 的 regional 法律實現 Process and Proposition Proposition 是 Proposition 的 consistent
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1004-1023	例 Object and HexaploidCell 部分 Object and Object 例 Object and 細胞核位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別 Collection Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 等於 Collection and Collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 773-782	例真核細胞 and MonoploidCell chromosomeNumber 真核細胞 and Integer 例 MonoploidChromosomeSet and MonoploidChromosomeSet 位於 MonoploidChromosomeSet and Object 例 Object and 細胞核部分 Object and 真核細胞 monoploidNumber MonoploidChromosomeSet and Integer 等於 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 974-984	例 Object and PentaploidCell 例 Object and 細胞核部分 Object and Object 位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別例 MonoploidChromosomeSet and MonoploidChromosomeSet 子集合 MonoploidChromosomeSet and Collection chromosomeSetCount MonoploidChromosomeSet, Collection and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 951-966	例 Object and TetraploidCell 部分 Object and Object 例 Object and 細胞核位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別 Collection Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 等於 Collection and Collection

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.	People.kif 1528-1539	百分之 RealNumber 在信仰團體的人相信信仰團體 Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and 信仰團體會員 Physical and Collection RealNumber1 是 Collection 的 member 計數位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	RealNumber percent 的人在 GeographicArea 是 EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 Physical and Collection RealNumber1 是 Collection 的 member 計數位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language 是 SentientAgent 的 speaks 語言 RealNumber1 是 Collection 的 member 計數位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 182-189	LengthMeasure 是 GeographicArea 的軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 寬軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 712-719	LengthMeasure 是 GeographicArea 的原油管線 length length 卡帕 SymbolicString and 例 SymbolicString and 原油管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 210-217	LengthMeasure 是 GeographicArea 的雙軌規格 length length 卡帕 SymbolicString and 例 SymbolicString and DualGaugeRailway 位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 126-133	LengthMeasure 是 GeographicArea 的電場軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 電氣化鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 568-575	LengthMeasure 是 GeographicArea 的高速公路系統 length length 卡帕 SymbolicString and 例 SymbolicString and 高速公路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 154-161	LengthMeasure 是 GeographicArea 的多軌鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 多軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 237-244	LengthMeasure 是 GeographicArea 的短規格鐵路的 length length 卡帕 SymbolicString and 例 SymbolicString and 窄軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 735-742	LengthMeasure 是 GeographicArea 的天然瓦斯管線的 length length 卡帕 SymbolicString and 例 SymbolicString and 天然氣管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 542-549	LengthMeasure 是 GeographicArea 的鋪設鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 浮出水面的巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 758-765	LengthMeasure 是 GeographicArea 的石油產品管線 length length 卡帕 SymbolicString and 例 SymbolicString and 石油產品管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 265-272	LengthMeasure GeographicArea 的標準規格管線 length length 卡帕 SymbolicString and 例 SymbolicString and 標準軌距鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	LengthMeasure 是 GeographicArea 的未分類規格軌道 length length 卡帕 SymbolicString and 位於 SymbolicString and GeographicArea 例 SymbolicString and 聯盟標準軌距鐵路 and 聯盟寬軌鐵路 and 聯盟 DualGaugeRailway and 窄軌鐵路 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 601-608	LengthMeasure 是 GeographicArea 的未鋪設高速公路 length length 卡帕 SymbolicString and 例 SymbolicString and 沒有鋪面的巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23308-23310	Object 對於 Object 在時間 TimePosition located 持有期間 TimePosition 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.	Transportation.kif 1221-1228	GeographicArea 是對於 NonnegativeInteger 在地區 Class 的 total 設施類別 NonnegativeInteger 是卡帕 SymbolicString and 例 SymbolicString and Class 位於 SymbolicString and GeographicArea 的 cardinality
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 484-491	LengthMeasure 是 GeographicArea 的 total 高速公路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 巷道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 98-105	LengthMeasure 是 GeographicArea 的 total 鐵路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 鐵路位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 685-692	LengthMeasure 是在地區 GeographicArea 的 total 管線 length 卡帕 SymbolicString and 例 SymbolicString and 管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	AutonomousAgent can hold Process 的種類 Object 元件 Object and 屬性 AutonomousAgent 能力 Process, 位於 and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	attribute CognitiveAgent and 深海沿岸和大湖泊水運例 CognitiveAgent and 運輸公司服務 Object 例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent 服務是 located 在 Object 例 Object and WaterArea 位於 CognitiveAgent and 北美
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	attribute Object and DutyFree 例 Object and 商店 GeopoliticalArea Entity, Object and Process 例 GeopoliticalArea and GeopoliticalArea 位於 Object and GeopoliticalArea 子類 Object and Object Object 是 GeopoliticalArea 的 import 商品種類例 Entity and Object 例 Process and Selling 患者 Process and Entity 位於 Process and Object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 南大西洋

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

KB Term:			Term intersection

English Word: