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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirConditioner

Sigma KEE - AirConditioner
AirConditioner(air conditioner)air_conditioner, air_conditioning

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24019-24021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24018-24018 Air conditioner is a subclass of electric device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24022-24022
No TPTP formula. May not be expressible in strict first order. Cars.kif 1993-1993 A air conditioning compressor is typically a part of a air conditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 2037-2037 A air conditioning condenser is typically a part of a air conditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 2061-2061 A air conditioning evaporator is typically a part of a air conditioner
No TPTP formula. May not be expressible in strict first order. Cars.kif 1994-1994 A air conditioner typically has a part air conditioning compressor
No TPTP formula. May not be expressible in strict first order. Cars.kif 2038-2038 A air conditioner typically has a part air conditioning condenser
No TPTP formula. May not be expressible in strict first order. Cars.kif 2062-2062 A air conditioner typically has a part air conditioning evaporator

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24024-24032

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1443-1451


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