Fluid - Sigma Knowledge base Browser

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 17694-17696
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.	pictureList.kif 6015-6015
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6519-6519
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17693-17693	例流體 and InternalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17669-17669	子屬性加油站 and 流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17660-17660	子屬性液體 and 流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17687-17687	子屬性等離子體 and 流體
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24378-24378	子屬性等離子體 and 流體
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24377-24377	子屬性等離子體 and 流體
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24376-24376	子屬性等離子體 and 流體

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10735-10757	例 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 10796-10818	例 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 4802-4807	例 SelfConnectedObject and 游泳池包含 SelfConnectedObject and Object 例 Object and 流體例 Object and 淡水
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22705-22711	例 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 9834-9838	例 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 883-905	例 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 16379-16387	例 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 4750-4754	例 SelfConnectedObject and 液體容器包含 SelfConnectedObject and Object attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17698-17705	例 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 912-926	例 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 2603-2605	例 TransportationDevice and 專業油輪延期流體是 TransportationDevice 的 cargo 種類
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10442-10453	例 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 2658-2660	例 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 1227-1238	例 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 5495-5495	域流動, 1 and 延期流體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5496-5496	域流動, 2 and 延期流體
No TPTP formula. May not be expressible in strict first order.	Weather.kif 11-11	子類大氣層 and 延期流體

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

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