Solenoid - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Solenoid EnglishLanguage "A Device that uses an Electromagnet to actuate an arm or shaft to perform some function.")	Cars.kif 3986-3987
(subclass Solenoid ElectricDevice)	Cars.kif 3984-3984	Solenoid is a subclass of electric device

appearance as argument number 2

(termFormat EnglishLanguage Solenoid "solenoid")

Cars.kif 3985-3985

antecedent

(=>
    (instance ?S Solenoid)
    (hasPurpose ?S
        (exists (?P ?T1 ?T2 ?L1 ?L2)
            (and
                (part ?P ?S)
                (holdsDuring ?T1
                    (and
                        (attribute ?S DeviceOn)
                        (located ?P ?L1)))
                (holdsDuring ?T2
                    (and
                        (attribute ?S DeviceOn)
                        (located ?P ?L2)))
                (not
                    (equal ?L1 ?L2))))))

Cars.kif 3989-4004

If a physical is an instance of solenoid,
then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is a part of the physical and device on is an attribute of the physical and the entity is located at the fourth entity holds during the other entity and device on is an attribute of the physical and the entity is located at the fifth entity holds during the third entity and the fourth entity is not equal to the fifth entity

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

KB Term:			Term intersection

English Word: