TreeView Knowledge Base Browser

appearance as argument number 1

(documentation FabricIron EnglishLanguage "An iron is a small appliance used in %&Ironing to remove wrinkles from %&Fabric.")	Mid-level-ontology.kif 25236-25236
(subclass FabricIron ElectricDevice)	Mid-level-ontology.kif 25233-25233	Iron is a subclass of electric device
(subclass FabricIron HeatingDevice)	Mid-level-ontology.kif 25234-25234	Iron is a subclass of heating device
(subclass FabricIron HouseUtilityAppliance)	Mid-level-ontology.kif 25235-25235	Iron is a subclass of house utility appliance

appearance as argument number 2

(termFormat EnglishLanguage FabricIron "iron")

Mid-level-ontology.kif 25231-25231

antecedent

(=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I)))))	Mid-level-ontology.kif 25238-25244	If a physical is an instance of iron, then the physical has the purpose there exists the physicalRON such that the physicalRON is an instance of ironing and the physical is an instrument for the physicalRON
(=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat))))	Mid-level-ontology.kif 25246-25252	If a self connected object is an instance of iron, then there exists a corpuscular object such that the bottom of the self connected object is the corpuscular object and the corpuscular object is made of metal and flat is an attribute of the corpuscular object

consequent

(=>
    (and
        (instance ?I Ironing)
        (patient ?I ?OBJ)
        (part ?FABRIC ?OBJ)
        (instance ?FABRIC Fabric))
    (exists (?IRON ?HEAT)
        (and
            (instance ?HEAT Heating)
            (patient ?HEAT ?IRON)
            (instance ?IRON FabricIron)
            (instrument ?I ?IRON))))

Mid-level-ontology.kif 25321-25332

If a process is an instance of ironing and an object is a patient of the process and another object is a part of the object and the other object is an instance of fabric,
then there exist the processRON and another process such that the other process is an instance of heating and the processRON is a patient of the other process and the processRON is an instance of iron and the processRON is an instrument for the process

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: