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 7400-7401
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7396-7398
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7405-7405	劃分 ParticulateMatter, CoarseParticulateMatter and FineParticulateMatter
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31632-31632	roomTempState ParticulateMatter and 固體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7403-7403	子類 ParticulateMatter and Mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7432-7432	子類 CoarseParticulateMatter and ParticulateMatter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7461-7461	子類 FineParticulateMatter and ParticulateMatter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7411-7411
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7409-7409
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7407-7407

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	例 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 7469-7479	例 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 7413-7422	例 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 1275-1296

例 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