Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - OutletAdapter
OutletAdapter(outlet adapter)

appearance as argument number 1
-------------------------


(subclass OutletAdapter Device) Mid-level-ontology.kif 28534-28534 Outlet adapter is a subclass of device
(documentation OutletAdapter EnglishLanguage "An OutletAdapter is a device that, on one side has HoleRegion and on another side has metal prongs so that an ElectricalPlug can fit into an ElectricalOutlet") Mid-level-ontology.kif 28535-28537 Outlet adapter is a subclass of device
(defaultMinimumHeight OutletAdapter
    (MeasureFn 3 Centimeter))		 DimensioningAmenities.kif 459-459 The minimum expected height of outlet adapter is 3 centimeter(s)
(defaultMaximumHeight OutletAdapter
    (MeasureFn 5 Centimeter))		 DimensioningAmenities.kif 460-460 The maximum expected height of outlet adapter is 5 centimeter(s)
(defaultMinimumWidth OutletAdapter
    (MeasureFn 3 Centimeter))		 DimensioningAmenities.kif 461-461 The minimum expected width of outlet adapter is 3 centimeter(s)
(defaultMaximumWidth OutletAdapter
    (MeasureFn 5 Centimeter))		 DimensioningAmenities.kif 462-462 The maximum expected width of outlet adapter is 5 centimeter(s)
(defaultMinimumLength OutletAdapter
    (MeasureFn 3 Centimeter))		 DimensioningAmenities.kif 463-463 The minimum expected length of outlet adapter is 3 centimeter(s)
(defaultMaximumLength OutletAdapter
    (MeasureFn 5 Centimeter))		 DimensioningAmenities.kif 464-464 The maximum expected length of outlet adapter is 5 centimeter(s)
(defaultMinimumMeasure OutletAdapter
    (MeasureFn 2 OunceMass))		 DimensioningAmenities.kif 465-465 The minimum expected value of outlet adapter is 2 Ounce(s)
(defaultMaximumMeasure OutletAdapter
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 466-466 The maximum expected value of outlet adapter is 8 Ounce(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage OutletAdapter "outlet adapter") Mid-level-ontology.kif 28538-28538

antecedent
-------------------------


(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE CollectionOfObjects)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))		 Mid-level-ontology.kif 28540-28547 If X is an instance of outlet adapter, then there exists Y such that Y is an instance of collection, hole is a member type of Y, Y is a part of X, and X is made of metal
(=>
    (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 28549-28558 If X is an instance of outlet adapter, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Z is an instance of electrical plug (3) Y is an instance of electrical outlet (4) Z completely fills X (5) X completely fills Y (6) X connects Z (7) Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners