Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OutletAdapter
OutletAdapter

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


(defaultMaximumHeight OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 460-460
(defaultMaximumLength OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 464-464
(defaultMaximumMeasure OutletAdapter
    (MeasureFn 8 OunceMass))
DimensioningAmenities.kif 466-466
(defaultMaximumWidth OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 462-462
(defaultMinimumHeight OutletAdapter
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 459-459
(defaultMinimumLength OutletAdapter
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 463-463
(defaultMinimumMeasure OutletAdapter
    (MeasureFn 2 OunceMass))
DimensioningAmenities.kif 465-465
(defaultMinimumWidth OutletAdapter
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 461-461
(documentation OutletAdapter EnglishLanguage "An OutletAdapter is a device that, on one side has Hole and on another side has metal prongs so that an ElectricalPlug can fit into an ElectricalOutlet") Mid-level-ontology.kif 23869-23871
(subclass OutletAdapter Device) Mid-level-ontology.kif 23868-23868

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


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

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


(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 23874-23881
(=>
    (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 23883-23892


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners