consequent

(=>     (and         (instance ?M Microwave)         (attribute ?M DeviceOn))     (exists (?PROC)         (and             (instance ?PROC RadiatingElectromagnetic)             (instrument ?PROC ?M))))	Food.kif 365-372	If an object is an instance of microwave and device on is an attribute of the object, then there exists a process such that the process is an instance of radiating electromagnetic and the object is an instrument for the process
(=>     (and         (instance ?PLUG ElectricalPlug)         (instance ?DEVICE ElectricDevice)         (instance ?OUTLET ElectricalOutlet)         (connectedEngineeringComponents ?DEVICE ?PLUG)         (completelyFills ?PLUG ?OUTLET)         (instance ?POWER PowerSource)         (connectedEngineeringComponents ?POWER ?OUTLET))     (exists (?RE)         (and             (instance ?RE RadiatingElectromagnetic)             (origin ?RE ?POWER)             (destination ?RE ?DEVICE))))	Mid-level-ontology.kif 27836-27849	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a hole is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the hole and a third engineering component is an instance of power source and the third engineering component is connected to the hole, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the third engineering component and the process ends up at the other engineering component
(=>     (instance ?PS PowerSource)     (exists (?RE)         (and             (instance ?RE RadiatingElectromagnetic)             (origin ?RE ?PS))))	Mid-level-ontology.kif 3029-3034	If an object is an instance of power source, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the object
(=>     (instance ?RADAR Radar)     (capability RadiatingElectromagnetic agent ?RADAR))	Mid-level-ontology.kif 3057-3059	If an object is an instance of radar, then the object is capable of doing radiating electromagnetic as a agent
(=>     (instance ?WN         (NetworkCommunicationFn WirelessNetwork))     (exists (?R)         (and             (instance ?R RadiatingElectromagnetic)             (subProcess ?R ?WN))))	ComputingBrands.kif 1540-1545	If a process is an instance of communication over wireless network, then there exists another process such that the other process is an instance of radiating electromagnetic and the other process is a subprocess of the process

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