ParticulateMatter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ParticulateMatter

ParticulateMatter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7470
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7465-7467
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7474-7474	劃分 ParticulateMatter, CoarseParticulateMatter and FineParticulateMatter
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33323-33323	roomTempState ParticulateMatter and 固體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7472-7472	子類 ParticulateMatter and Mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7501-7501	子類 CoarseParticulateMatter and ParticulateMatter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7530-7530	子類 FineParticulateMatter and ParticulateMatter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7480-7480	子類 FineParticulateMatter and ParticulateMatter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7478-7478	子類 FineParticulateMatter and ParticulateMatter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7476-7476	子類 FineParticulateMatter and ParticulateMatter

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7509-7520	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7538-7548	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7482-7491	例 Object and ParticulateMatter SelfConnectedObject Object and RealNumber 例 Object and 大氣地區位於 Object and Object 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 1000.0 and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 1259-1280

例 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

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