TreeView Knowledge Base Browser - Magnetism

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

(documentation Magnetism EnglishLanguage "Any instance of RadiatingElectromagnetic which involves the attraction of Iron.")	Mid-level-ontology.kif 15806-15807
(subclass Magnetism RadiatingElectromagnetic)	Mid-level-ontology.kif 15805-15805	Magnetism ist eine teilkategorie von RadiatingElectromagnetic

appearance as argument number 2

(termFormat ChineseLanguage Magnetism "磁")	domainEnglishFormat.kif 35633-35633
(termFormat ChineseTraditionalLanguage Magnetism "磁")	domainEnglishFormat.kif 35632-35632
(termFormat EnglishLanguage Magnetism "magnetism")	domainEnglishFormat.kif 35631-35631

consequent

(=> (and (instance ?EM Electromagnet) (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)) (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))	Cars.kif 3878-3888	Wenn Object ist ein fall von Electromagnet %n{nicht} und Transfer ist ein fall von Transfer %n{nicht} und Object ist ein fall von Electricity %n{nicht} und objectTransferred Transfer and Object und Object ist der pfad entlang dem Transfer geschieht, dann es gibt Process um Process ist ein fall von Magnetism %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))))	Cars.kif 3890-3906	Wenn Entity ist ein fall von Electromagnet %n{nicht} und es gibt entity und entity um entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von Electricity %n{nicht} und objectTransferred entity and entity und Entity ist der pfad entlang dem entity geschieht haelt waehrend entity1 nicht, dann es gibt entity um entity ist ein fall von Magnetism %n{nicht} und Entity ist ein instrument fuer entity %n{nicht} haelt waehrend ** entity1 nicht
(=> (instance ?M Magnet) (exists (?MAG) (and (instance ?MAG Magnetism) (instrument ?MAG ?M))))	Cars.kif 3858-3863	Wenn Object ist ein fall von Magnet %n{nicht}, dann es gibt ObjectAG um ObjectAG ist ein fall von Magnetism %n{nicht} und Object ist ein instrument fuer ObjectAG %n{nicht}

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

Show without tree

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