| ElectricalPlug | |
| appearance as argument number 1 |
|
|
| (documentation ElectricalPlug EnglishLanguage "ElectricalPlug is a type of Plug made of metal that is normally used to conduct electricity from an ElectricalOutlet to an ElectricDevice") | Mid-level-ontology.kif 22143-22145 | |
| (subclass ElectricalPlug Plug) | Mid-level-ontology.kif 22142-22142 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ElectricalPlug "electrical plug") | Mid-level-ontology.kif 22146-22146 |
| antecedent |
|
|
| (=> (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 22160-22173 | |
| (=> (instance ?X ElectricalPlug) (hasPurpose ?X (exists (?OUTLET) (and (instance ?OUTLET ElectricalOutlet) (completelyFills ?X ?OUTLET))))) |
Mid-level-ontology.kif 22152-22158 | |
| (=> (instance ?X ElectricalPlug) (material Metal ?X)) |
Mid-level-ontology.kif 22148-22150 |
| consequent |
|
|
| (=> (instance ?ADAPT OutletAdapter) (hasPurpose ?ADAPT (exists (?OUTLET ?PLUG) (and (instance ?PLUG ElectricalPlug) (instance ?OUTLET ElectricalOutlet) (completelyFills ?PLUG ?ADAPT) (completelyFills ?ADAPT ?OUTLET) (connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET))))) |
Mid-level-ontology.kif 22190-22199 |
|
|
|