TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MagneticField EnglishLanguage "Region around a magnet or moving charged particle where the force of magnetism acts.")	Mid-level-ontology.kif 17381-17382
(subclass MagneticField Region)	Mid-level-ontology.kif 17385-17385	Magnetic field is a subclass of region
(partition MagneticField MagneticNorth MagneticSouth)	Mid-level-ontology.kif 17386-17386	Magnetic field is exhaustively partitioned into MagneticNorth and MagneticSouth

appearance as argument number 2

(termFormat EnglishLanguage MagneticField "magnetic field")	Mid-level-ontology.kif 17383-17383
(subclass MagneticNorth MagneticField)	Mid-level-ontology.kif 17387-17387	MagneticNorth is a subclass of magnetic field
(subclass MagneticSouth MagneticField)	Mid-level-ontology.kif 17388-17388	MagneticSouth is a subclass of magnetic field

antecedent

(=>
    (instance ?MF MagneticField)
    (exists (?MAGNETISM)
        (and
            (instance ?MAGNETISM Magnetism)
            (eventLocated ?MAGNETISM ?MF))))

If X is an instance of magnetic field, then there exists Y such that Y is an instance of magnetism and Y is located at X