TreeView Knowledge Base Browser

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 25963-25965
(subclass ElectricalPlug Plug)	Mid-level-ontology.kif 25962-25962	ElectricalPlug 是插头的 subclass

appearance as argument number 2

(termFormat EnglishLanguage ElectricalPlug "electrical plug")

Mid-level-ontology.kif 25966-25966

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 25980-25993	如果工程组件是 ElectricalPlug 的 instance 和另一个工程组件是电器的 instance 和洞是 ElectricalOutlet 的 instance 和那个另外工程组件是和那个工程组件 connected 和那个工程组件完全 fills 那个洞和第三工程组件是能量源的 instance 和那个第三工程组件是和那个洞 connected，然后有存在过程这样那个过程是辐射电磁的 instance 和那个第三工程组件是那个过程的源头和那个过程在那个另外工程组件结束
(=> (instance ?X ElectricalPlug) (hasPurpose ?X (exists (?OUTLET) (and (instance ?OUTLET ElectricalOutlet) (completelyFills ?X ?OUTLET)))))	Mid-level-ontology.kif 25972-25978	如果物理是 ElectricalPlug 的 instance，然后那个物理的目的是有存在实体这样那个实体是 ElectricalOutlet 的 instance 和那个物理完全 fills 那个实体
(=> (instance ?X ElectricalPlug) (material Metal ?X))	Mid-level-ontology.kif 25968-25970	如果躯体性物体是 ElectricalPlug 的 instance，然后金属是那个躯体性物体的材料

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 26010-26019

如果物理是 OutletAdapter 的 instance，
然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是 ElectricalPlug 的 instance 和那个实体是 ElectricalOutlet 的 instance 和那个另外实体完全 fills 那个物理和那个物理完全 fills 那个实体和那个物理 connects 那个另外实体和那个实体

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: