PureSubstance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PureSubstance

PureSubstance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1595-1598
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1087-1091
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 174-177
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 206-210
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 910-910
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1085-1085	劃分 PureSubstance, CompoundSubstance and ElementalSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1084-1084	子類 PureSubstance and Substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1042-1042	劃分 Substance, PureSubstance and Mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1173-1173	子類 CompoundSubstance and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2647-2647	子類落葉 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1093-1093	子類 ElementalSubstance and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2735-2735	子類溫室氣體 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 514-514	子類親水性脂質頭 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 525-525	子類疏水脂質尾 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21665-21665	子類離子 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 818-818
No TPTP formula. May not be expressible in strict first order.	english_format.kif 838-838
No TPTP formula. May not be expressible in strict first order.	french_format.kif 494-494
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 27-27
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 30-30
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2179-2179
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 446-446
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 31-31
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 61-61
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 515-515
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 31-31

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21708-21708	域電子數, 1 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21683-21683	域質子數, 1 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13793-13793	域子類沸點, 1 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13857-13857	域子類熔點, 1 and PureSubstance

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13798-13807	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 29.92 and RealNumber 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13818	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 RealNumber and 29.92 測量 Object and 測量 RealNumber and 凱文度少於 RealNumber and RealNumber attribute Object and 固體

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	例 Substance and Mixture 片 Substance and Substance 例 Substance and Mixture 例 Substance and PureSubstance
No TPTP formula. May not be expressible in strict first order.	naics.kif 3125-3141	例 Collection and Organization attribute Collection and 化學製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and PureSubstance 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	例 Collection and Organization attribute Collection and 礦業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 患者 AutonomousAgent and Object 例 Object and PureSubstance attribute Object and 固體會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 3690-3708	例 Collection and Organization attribute Collection and 非金屬礦產品製造 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Metal 例 Entity and PureSubstance 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	例 Collection and Organization attribute Collection and 公用事業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 例 Object and 污水患者 AutonomousAgent and Object 例 Object and Electron 例 Object and Water 例 Object and PureSubstance 能力 Combustion, 患者 and Object 會員 Process and Collection 例 AutonomousAgent and FinancialTransaction agent AutonomousAgent and Process 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12514-12520	例 Process and ChemicalProcess 資源 Process and Object 結果 Process and Object 例 Object and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19657-19662	例 Process and 色譜 Entity 例 Entity and PureSubstance 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19602-19612	例 Process and 透析 Object Entity and Entity 資源 Process and Object 例 Object and Solution 結果 Process and Entity 例 Entity and PureSubstance 結果 Process and Entity 例 Entity and PureSubstance 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1190-1198	例 Substance and Mixture Substance Substance 例 Substance and PureSubstance 例 Substance and PureSubstance 等於 Substance and Substance 片 Substance and Substance 片 Substance and Substance

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