TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2115-2116
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4123-4125
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 767-769
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4120-4120	例 eventLocated and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4121-4121	例 eventLocated and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4119-4119	子關係 eventLocated and eventPartlyLocated

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3326-3326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3325-3325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3324-3324
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1845-1845

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	attribute Object and CommunalAttribute 例 Object and 表例 Process and Eating agent Process and AutonomousAgent 例 AutonomousAgent and 一群人 Process 是 located 在 Object 模態屬性 entity entity and Object2 例 entity and Eating agent entity and entity 等於 AutonomousAgent and entity 例 entity and 一群人 entity 是 located 在 Object2 短暫相遇何時 Process and 何時 entity 等於 Object and Object2 and 可能性
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1865-1870	例 Object and GeographicArea 例 Process and 火山爆發 Process 是 located 在 Object attribute Object and 地質穩定
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1872-1877	例 Object and GeographicArea 例 Process and 地震 Process 是 located 在 Object attribute Object and 地質穩定
No TPTP formula. May not be expressible in strict first order.	Weather.kif 888-894	例 Region and GeographicArea 例 Process and 天氣晴朗 Process 是 located 在 Region NonnegativeRealNumber Region 少於 NonnegativeRealNumber and 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 878-886	例 Region and GeographicArea 例 Process and 天氣晴朗 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 少於 NonnegativeRealNumber and 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 939-945	例 Region and GeographicArea 例 Process and 陰雲密布的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 比較多 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 929-937	例 Region and GeographicArea 例 Process and 陰雲密布的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 比較多 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 913-921	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 902-911	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16765-16775	例 Object and 藝術學校例 Process and EducationalProcess Process 是 located 在 Object Process Entity 例 Process and Making 患者 Process and Entity 例 Entity and ArtWork 參照 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	例 Object and BrakePedal 例 Process and Pushing 例 Object and 車輛目的地 Process and Object Process 是 located 在 Object 部分 Object and Object 有目的 Object and entity entity 例 entity and WearingFrictionSurface 例 entity and 摩擦儀器 entity and entity 原因 Process and entity
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.	Weather.kif 568-573	例 Process and 氣旋風暴例 Object and 氣流 Process 是 located 在 Object Object 是圓筒
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2488-2501	例 Process and 荒漠化 Process 是 located 在 Object Entity Entity 例 Entity and 耕地例 Entity and 沙漠持有期間開始何時 Process and 在空間上重疊 Object and Entity 持有期間結束何時 Process and 在空間上重疊 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2478	例 TimeInterval and 乾旱 TimeInterval 是 located 在 Object TimeInterval Object 例 TimeInterval and 下雨例 Object and Region TimeInterval 是 located 在 Object 在空間上重疊 Object and Object 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2596-2604	例 Process and 塵暴例 Object and GeographicArea Process 是 located 在 Object 持有期間何時 Process and 模態屬性 attribute Object and BadAirQuality and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	例 Object and EngineCylinder 例 HoleRegion and Crankcase 例 Physical and Piston 例 Process and TwoStrokeTransfer 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 例 Physical and Piston 例 Process and TwoStrokeIntake 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	例 Entity and EngineChoke 持有期間 Process and attribute Entity and 設備上持有期間 Process and attribute Entity and 設備關閉例 SelfConnectedObject and EngineCylinder ConstantQuantity 是 SelfConnectedObject 的 capacity 例 Process and FourStrokeCompression 例 Process and FourStrokeCompression Process 是 located 在 SelfConnectedObject Process 是 located 在 SelfConnectedObject 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX1 部分 Object and ConstantQuantityIX1 測量 ConstantQuantityIX1 and ConstantQuantity 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX2 部分 Object and ConstantQuantityIX2 測量 ConstantQuantityIX2 and ConstantQuantity 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 比較多部 ObjectM and ObjectM and 部 ObjectM and ObjectM
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1923	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and maxCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and minCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	例 Process and EngineCycle 例發動機 and 內燃機例 Object and Piston 例 UnitOfMeasure and UnitOfLength 部分 Object and 發動機患者 Process and Object Process 是 located 在發動機 pistonStroke 發動機 and 測量 RealNumber and UnitOfMeasure TimeInterval TimeInterval, Physical, Physical and RealNumber 期間 TimeInterval and 何時 Process 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Object and Physical 持有期間 TimeInterval and 位於 Object and Physical 距離 Physical, Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17584-17599	例 Process and 洪水 Process 是 located 在 Object RealNumber RealNumber and Entity 例 Entity and UnitOfLength 持有期間開始何時 Process and 測量 RealNumber and Entity 是 Object 的 water 深度持有期間結束何時 Process and 測量 RealNumber and Entity 是 Object 的 water 深度比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1594-1604	例 Process and 洪水例 Object and LandArea Process 是 located 在 Object 例 TimePoint and TimePoint 之前 TimePoint and 何時 Process 模態屬性持有期間 TimePoint and 例 Object and 淹沒的土地面積 and 較不可能
No TPTP formula. May not be expressible in strict first order.	Cars.kif 207-217	例 Process and FourStrokeCombustion 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ObjectO 例 ObjectO and Combustion 子過程 ObjectO and Process

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.	Mid-level-ontology.kif 16851-16860	Human 的 almaMater 是中學後 Process 例 Process and EducationalProcess 目的地 Process and Human Process 是 located 在中學後持有期間何時 Process and attribute Human and 學生
No TPTP formula. May not be expressible in strict first order.	Music.kif 392-400	attribute ContentBearingObject and StudioRecording 例 ContentBearingObject and Recording Process Object ContentBearingObject 是個 Process 的 record Process 是 located 在 Object 例 Object and RecordingStudio
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	attribute Object and CommunalAttribute 例 Object and 表例 Process and Eating agent Process and AutonomousAgent 例 AutonomousAgent and 一群人 Process 是 located 在 Object 模態屬性 entity entity and Object2 例 entity and Eating agent entity and entity 等於 AutonomousAgent and entity 例 entity and 一群人 entity 是 located 在 Object2 短暫相遇何時 Process and 何時 entity 等於 Object and Object2 and 可能性
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.	Mid-level-ontology.kif 26582-26590	attribute Object and Historical 例 Object and City Object 例 Object and Physical attribute Object and Historical Object 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26147-26159	attribute Object and WheelchairAccessible 例 Object and Building 例 Object and Room 模態屬性 entity entity 例 entity and Motion 儀器 entity and entity 例 entity and Wheelchair entity 是 located 在 Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Dining.kif 840-847	例 Physical and BoosterChair 例 AutonomousAgent and 人類的孩子有代理人的目的 Physical, attribute AutonomousAgent and 坐在 AutonomousAgent 是 located 在 Physical and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	例 Object and Crankshaft 例 Object and IntermittentCombustionEngine 部分 Object and Object 有目的 Object and entity entity 例 entity and 爆炸例 entity and 旋轉患者 entity and Object entity 是 located 在 Object 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	例 Object and 水車例 Process and Transportation 儀器 Process and Object Object 例 Object and WaterArea Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2478	例 TimeInterval and 乾旱 TimeInterval 是 located 在 Object TimeInterval Object 例 TimeInterval and 下雨例 Object and Region TimeInterval 是 located 在 Object 在空間上重疊 Object and Object 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1271-1292	例 Process and 塵暴例 Process and 風子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位是 Object 的 surface 風速比較多 RealNumber and 30.0 例 Transfer and 易位子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	例 CorpuscularObject and Exhaust 材料汽油 and CorpuscularObject 例 Transfer and Transfer 例 CorpuscularObjectNG and 發動機起源 Transfer and CorpuscularObjectNG 例 Physical and CatalyticConverter 目的地 Transfer and Physical objectTransferred Transfer and CorpuscularObject 有目的 Physical and entity 例 entity and Combustion 儀器 entity and Physical 患者 entity and CorpuscularObject entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	例 Process and 疏散起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Maintaining Process 是 located 在 Object 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8153-8161	例耕地面積 and 園林栽種於 Plant and 耕地面積有目的耕地面積 and entity 例 entity and RecreationOrExercise entity 是 located 在耕地面積
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 654-668	例 Object and Gene 位於 Object and Object 例 Object and Cell Process Object and Object 例 Process and BiologicalProcess Process 是 located 在 Object 起源 Process and Object 結果 Process and Object 例 Object and Nucleotide 部分 Object and Object 例 Object and RNA分子位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1575-1588	例 Process and 高激浪例 Object and WaterArea Process 是 located 在 Object Process AutonomousAgent 例 Process and Swimming 例 AutonomousAgent and Human agent Process and AutonomousAgent Process 是 located 在 Object 持有期間何時 Process and hazardous Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7752-7765	例 Collection and Organization attribute Collection and 雜貨店零售商 Process Physical, Entity, Object and AutonomousAgent 會員 Physical and Collection agent Process and AutonomousAgent 例 Process and Selling 例 AutonomousAgent and Human 例 Object and 零售店 Process 是 located 在 Object 例 Entity and Object 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7877-7893	例 Collection and Organization attribute Collection and 非商店零售商 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Entity 例 AutonomousAgent and Selling 例 Entity and Human 例 Entity and Object AutonomousAgent 是 located 在零售店目的地 AutonomousAgent and Entity 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5210-5222	例 Entity and ForestProduct 例 Process and Manufacture 結果 Process and Entity 患者 Process and Entity 例 Entity and Organism Process Object 例 Process and 農業結果 Process and Entity Process 是 located 在 Object 例 Object and 森林
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23505-23510	例 Process and Process Process 是 located 在 Object 子過程 Process and Process Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	例 AutonomousAgent and 餐廳例 Object and 飯廳 attribute Object and PrivateAttribute 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Eating agent Process and CognitiveAgent 例 CognitiveAgent and 一群人模態屬性 entity entity AutonomousAgent 是 entity 的 customer 等於 CognitiveAgent and entity 例 entity and Eating agent entity and entity 持有期間何時 Process and entity 是 located 在 Object and 容易
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2328-2338	例 Process and 餘震 Process 是 located 在 Object Process 例 Process and 地震 Process 是 located 在 Object 之前何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	例 AutonomousAgent and 票擁有 AutonomousAgent and Object CognitiveAgent 是由 AutonomousAgent 的 issued attribute CognitiveAgent and 娛樂賭博和娛樂業位於 CognitiveAgent and Object CognitiveAgent confers 規範 entity 例 entity and RecreationOrExercise 體驗者 entity and Object entity 是 located 在 Object 對於允許
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1647-1668	例 Process and 龍捲風例 Process and 旋轉例 Object and 空氣例 ProcessRAN and 易位子過程 Process and Process 子過程 ProcessRAN and Process 患者 ProcessRAN and Object 方向 ProcessRAN and 橫 Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject 例 Object and GeographicArea Process 是 located 在 Object 部分 SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment 上 ProcessOP and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 雲底部 SelfConnectedObject and SelfConnectedObject 空間的符合 ProcessOP and SelfConnectedObject 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 491-500	例 TimeInterval and TwoStrokeCompression TimeInterval 是 located 在 Object 例 Object and TwoStrokeEngine TimeInterval 例 TimeInterval and 爆炸期間 TimeInterval and TimeInterval TimeInterval 是 located 在 Object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: