TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1875-1878
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2474-2478
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 499-502
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2471-2471	域儀器, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2472-2472	域儀器, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2469-2469	例儀器 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2470-2470	例儀器 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2468-2468	子關係儀器 and 患者

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2514-2514	不相交的關係資源 and 儀器
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2515-2515	不相交的關係結果 and 儀器
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 135-135
No TPTP formula. May not be expressible in strict first order.	english_format.kif 136-136
No TPTP formula. May not be expressible in strict first order.	french_format.kif 89-89
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 150-150
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1916-1916
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 41-41
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 163-163
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 189-189
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 108-108
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 88-88
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 304-304
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 199-199	子關係電腦運行 and 儀器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23532-23532	子關係輸送 and 儀器
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1709-1709	子關係 eCommerceSite and 儀器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8805-8805	子關係試劑 and 儀器
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 531-531	子關係標準錯誤設備 and 儀器
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 500-500	子關係標準輸入設備 and 儀器
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 514-514	子關係標準輸出設備 and 儀器
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30259-30259
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 136-136

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 10685-10696	antagonistMuscles Muscle and Muscle 例 Process and Extension 儀器 Process and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Mammal 能力 Flexion, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	antagonistMuscles Muscle and Muscle 例 Motion and Flexion 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Mammal 能力 Extension, 儀器 and MuscleC
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.	Mid-level-ontology.kif 4242-4248	例 Object and 錨例 ObjectTTACH and Attaching 儀器 ObjectTTACH and Object 患者 ObjectTTACH and Entity 例 Entity and 水車
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	例 Object and AntibodyCOVIDTest 儀器 Process and Object 例 Process and Measuring 患者 Process and Object 例 Object and COVIDAntibody 部分 Object and Object 模態屬性知道 Object and Object 例 Object and COVIDAntibody 部分 Object and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11108-11118	例 Object and 動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Object 例 Object and 心起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11151	例 Object and 肺動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Entity 例 Entity and 肺目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 57-62	例 Process and ViolentContest 儀器 Process and Object 例 Object and 生化武器例 Process and 生化攻擊
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3516-3523	例 Process and 交易授權例 Process and FinancialTransaction 例 Object and 銀行卡儀器 Process and Object 原因 Process and Process 例 Object and 有效卡
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22018-22025	例 Object and 刀片例 Process and Cutting 例 Object and Object 儀器 Process and Object 患者 Process and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29758-29765	例 Process and Covering 患者 Process and Entity 儀器 Process and Object 持有期間眼前的未來何時 Process and covers Object and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11560-11564	例 Process and 咀嚼儀器 Process and Object 例 Object and 齒
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	例 Object and WirelessNetwork 例 Motion and NetworkCommunication 儀器 Motion and Object 路徑 Motion and Object Object 部分 Object and Object 例 Object and Cable
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.	FinancialOntology.kif 3543-3554	例銀行卡 and 金融卡擁有 AutonomousAgent and 銀行卡例 Process and FinancialTransaction 儀器 Process and 銀行卡 SymbolicString Process 銀行卡是 SymbolicString 的 pin 例 Process and 輸入PIN碼患者 Process and SymbolicString agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2766-2773	例 Object and 動物動力裝置儀器 Process and Object Object 例 Object and Animal 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	例 Process and Damaging 儀器 Process and Object 例 Object and BiologicallyActiveSubstance 例 Object and 毒素
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2546-2554	例 Object and 電器例 Process and Process 儀器 Process and Object Object 例 Object and 電力資源 Process and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	例 Object and 絕對過濾器例 Process and Removing 起源 Process and Object 例 Object and 混合氣體患者 Process and Object attribute Object and 固體儀器 Process and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Motion and Transportation 例 Process and 汽油患者 Motion and Process 儀器 Process and Object 例 Object and GasTank 部分 Object and Object 例 Object and EngineCylinder 部分 Object and Object 起源 Motion and Object 目的地 Motion and Object 路徑 Motion and Object 有目的 Motion and ProcessF 例 ProcessF and FuelFilter Object 對於 Object between 在路徑 ProcessF
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Process and Transportation 例 Process and 汽油患者 Process and Process 儀器 Process and Object 有目的 Object and entity entity 例 entity and GasTank 部分 entity and Object 例 entity and EngineCylinder 部分 entity and Object 起源 Process and entity 目的地 Process and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1235-1247	例 Object and 槍例 Object and 槍管部分 Object and Object 例 Process and Shooting 儀器 Process and Object 患者 Process and Entity 例 Entity and 拋射物 ProcessUB 子過程 ProcessUB and Process 路徑 ProcessUB and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17051-17063	例 Object and 遊戲目標儀器 Process and Object 例 Process and Game 子過程 Process and Process 例 Process and 得分 Entity TimePosition 例 Entity and 遊戲片患者 Process and Entity 時間部分 TimePosition and 何時 Process 持有期間 TimePosition and 位於 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4287-4299	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Object 部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4301-4314	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Process 例 Process and 旋轉患者 Process and Object 子過程 Process 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 10685-10696	antagonistMuscles Muscle and Muscle 例 Process and Extension 儀器 Process and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Mammal 能力 Flexion, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	antagonistMuscles Muscle and Muscle 例 Motion and Flexion 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Mammal 能力 Extension, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12537-12547	attribute Object and Attribute 例 Attribute and 指紋例 Object and 手指 AttributeR Object 儀器 AttributeR and Object 例 Object and 手指 attribute Object and Attribute 患者 AttributeR and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	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.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	目的地 Process and Object 例 Process and 訊息患者 Process and Entity 例 Object and Telex Process Entity 儀器 Process and Object 結果 Process and Entity 代表 Entity and Entity 例 Entity and Text 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	工程子組件 EngineeringComponent and 互聯網工程子組件 EngineeringComponent and 互聯網等於 EngineeringComponent and EngineeringComponent 有目的互聯網 and entity 例 entity and Communication agent entity and EngineeringComponent 目的地 entity and EngineeringComponent 儀器 entity and 互聯網
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	ennervates Nerve and Muscle 例 Object and Nerve 例 Object and Muscle 部分 Object and Object 部分 Object and Object attribute Object and Healthy 例 Object and Human 有目的 Object and ObjectF entity 例 ObjectF and NerveFiring 儀器 ObjectF and Object 例 Muscle and MuscleContraction 儀器 ObjectV and Object 原因 ObjectF and Muscle
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	Physical 的使用對於 HotelFunctionRoom 是免費例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Entity 子類 Physical and Object 模態屬性 entity entity 例 entity and Physical 例 entity and Process 資源 entity and entity 儀器 entity and entity 患者 entity and entity agent entity and Entity 體驗者 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	Human 是在 AutonomousAgent 的 guest Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例暫住 and 暫住OOM Physical 是 amenity 在暫住OOM 子類 Physical and Object Physical 例 Physical and Physical 位於 Physical and 暫住賦予權利 entity agent entity and Human 儀器 entity and Physical 患者 entity and Physical 資源 entity and Physical, AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Maintaining 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Damaging 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4411-4425	例 AutonomousAgent and Biped 例 Process and 走動 agent Process and AutonomousAgent 模態屬性 entity entity 例 entity and 腿例 entity and 腿部分 entity and AutonomousAgent 部分 entity and AutonomousAgent 儀器 Process and entity 儀器 Process and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	例 Process and AutoImmuneDisorder 體驗者 Process and CognitiveAgent Object Process and Object 例 Object and 抗體部分 Object and CognitiveAgent 例 Object and Cell 部分 Object and CognitiveAgent 例 Process and Destruction 儀器 Process and Object 慾望 CognitiveAgent and ~{ 例 Process and Destruction } ~{ 儀器 Process and Object }
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1129-1142	例金融賬戶 and 支票賬戶例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency Object 例 Object and 校驗儀器 Process and Object Object 例 Object and 金融卡儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1239-1247	例金融賬戶 and 信用卡帳戶例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency Object 例 Object and 信用卡儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	例 Object and 車輛制動器例 Object and 車輛部分 Object and Object 有目的 Object and entity 例 entity and Motion 的 stop 患者 entity and Object 儀器 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6515-6523	例 Process and 尖刻 agent Process and AutonomousAgent Object 例 Object and 口部分 Object and AutonomousAgent 儀器 Process and Object
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.	Mid-level-ontology.kif 4391-4399	例 Process and Crawling agent Process and AutonomousAgent AutonomousAgentRM 例 AutonomousAgentRM and 臂部分 AutonomousAgentRM and AutonomousAgent 儀器 Process and AutonomousAgentRM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2766-2773	例 Object and 動物動力裝置儀器 Process and Object Object 例 Object and Animal 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	例 Process and 調味料例 Physical and oqal 例 Entity and 帽子患者 Process and Physical 患者 Process and Entity 有目的 Physical and entity 例 entity and Attaching 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 601-609	例 Process and 精確破壞 agent Process and AutonomousAgent Object 擁有 AutonomousAgent and Object 儀器 Process and Object 例 Object and 高精度武器
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	例 Process and 數據保存資源 Process and Object 例 Object and ElectronicDataStorageDevice Object 例 Object and 電器儀器 Process and Object 持有期間何時 Process and 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1636-1643	例 Object and Eardrum 部分 Object and AutonomousAgent 體驗者 AutonomousAgentEAR and AutonomousAgent attribute AutonomousAgent and Healthy 例 AutonomousAgentEAR and Hearing 儀器 AutonomousAgentEAR 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.	ComputingBrands.kif 3309-3315	有目的 iBookstore and ?D 例 ?D and 下載儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?T

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

KB Term:			Term intersection

English Word: