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


KB Term:  Term intersection
English Word: 

  HeatingDevice

 Sigma KEE - Installing
Installing(installing)instal, install, installation, installing, installment, instalment, put_in, retrofit, set_up, wire

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


(subclass Installing Putting) Mid-level-ontology.kif 19821-19821 Installing is a subclass of putting
(documentation Installing EnglishLanguage "Putting a Device in a location and configuring the Device so that it can be used as intended after the installation.") Mid-level-ontology.kif 19822-19823 Installing is a subclass of putting

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


(termFormat EnglishLanguage Installing "installing") domainEnglishFormat.kif 30243-30243
(termFormat ChineseTraditionalLanguage Installing "安裝") domainEnglishFormat.kif 30244-30244
(termFormat ChineseLanguage Installing "安装") domainEnglishFormat.kif 30245-30245

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


(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE))
    (instance ?DEVICE Device))		 Mid-level-ontology.kif 19825-19829 If X is an instance of installing and Y is a patient of X, then Y is an instance of device
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))		 Mid-level-ontology.kif 19831-19836 If X is an instance of installing, Y is a patient of X, and Y has the purpose Z, then Z is true holds during the end of the time of existence of X


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