Magnetism - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Magnetism

Magnetism(磁)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17160-17161
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17159-17159	子類磁 and 輻射電磁

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35659-35659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35658-35658
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35657-35657

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3954-3964	例 Object and Electromagnet 例 Transfer and Transfer 例 Object and 電力 objectTransferred Transfer and Object 路徑 Transfer and Object Process 例 Process and 磁儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3966-3982	例 Entity and Electromagnet 持有期間 TimePosition and entity entity 例 entity and Transfer 例 entity and 電力 objectTransferred entity and entity 路徑 entity and Entity 持有期間 TimePosition and entity 例 entity and 磁儀器 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3934-3939	例 Object and Magnet ObjectAG 例 ObjectAG and 磁儀器 ObjectAG and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17170-17175	例 Object and MagneticField Process 例 Process and 磁 Process 是 located 在 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