TreeView Knowledge Base Browser - Fluid

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Fluid

Fluid(流體)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3926-3927
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17669-17671
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6521-6521
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6016-6016
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6520-6520
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17668-17668	例流體 and InternalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17644-17644	子屬性加油站 and 流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17635-17635	子屬性液體 and 流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17662-17662	子屬性等離子體 and 流體
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24362-24362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24361-24361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24360-24360

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9866-9888	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9927-9949	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	例 SelfConnectedObject and AutomobileShock 例 Process and Compressing 例 HoleRegion and HoleRegion attribute Object and 流體等於 SelfConnectedObject and 洞主持人 HoleRegion 包含 SelfConnectedObject and Object 患者 Process and SelfConnectedObject Transfer 例 Transfer and Transfer objectTransferred Transfer and Object 路徑 Transfer and HoleRegion 原因 Process and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4729-4734	例 SelfConnectedObject and 游泳池包含 SelfConnectedObject and Object 例 Object and 流體例 Object and 淡水
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21643-21649	例 Object and 膠體 attribute Object and 固體 attribute Object and 流體等於 Object and Entity 例 Entity and 凝膠

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9088-9092	例 Object and 流動區域位於 Object and Object attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	例 Object and 管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 延期流體
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	例 Transfer and Thoracentesis 患者 Transfer and Object Transfer Object, TransferN, Object, Object and Object 例 Transfer and 插入子過程 Transfer and Transfer objectTransferred Transfer and Object 起源 Transfer and Object 目的地 Transfer and TransferN 例 Object and Needle attribute Object and 流體 objectTransferred Transfer and Object 目的地 Object and Object 例 Object and 肺例 Object and Chest 部分 Object and Object 部分 Object and Object 起源 Transfer and TransferN 目的地 Transfer and Object 之間 Object, TransferN and Object 方位 Object, Object and 外
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15478-15486	例 Process and Transportation 儀器 Process and Object 例 Object and 泵 Object 儀器 Process and Object attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4677-4681	例 SelfConnectedObject and 液體容器包含 SelfConnectedObject and Object attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17673-17680	例 Object and Substance attribute Object and 加油站 attribute Object and 液體 attribute Object and 等離子體 attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	例 Physical and Needle 有目的 Physical and entity entity, entity and entity 例 entity and Animal 例 entity and TherapeuticProcss attribute entity and 流體患者 entity and entity 儀器 entity and Physical 例 entity and Removing 例 entity and 插入子過程 entity and entity objectTransferred entity and entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2434-2436	例 TransportationDevice and 專業油輪延期流體是 TransportationDevice 的 cargo 種類
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9573-9584	例 Physical and PlantStem 有目的 Physical and entity entity and entity 例 entity and Transfer 儀器 entity and Physical 例 entity and 植物根起源 entity and entity 例 entity and Substance attribute entity and 流體 objectTransferred entity and entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2670-2672	例 Object and 流出的 attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1520-1528	例 Physical and 管有目的 Physical and entity entity 例 entity and Transfer 路徑 entity and Physical 患者 entity and entity attribute entity and 流體
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	例 Physical and 閥有目的 Physical and entity entity and entity 例 entity and Transfer 路徑 entity and Physical 患者 entity and entity attribute entity and 流體例 entity and Process 儀器 entity and Physical 患者 entity and entity

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5426-5426	域流動, 1 and 延期流體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5427-5427	域流動, 2 and 延期流體
No TPTP formula. May not be expressible in strict first order.	Weather.kif 11-11	子類大氣層 and 延期流體

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners