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 25989-25991
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25988-25988 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 25992-25992
No TPTP formula. May not be expressible in strict first order. Cars.kif 2006-2006 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 2050-2050 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 2074-2074 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 2007-2007 A air conditioner typically has a part air conditioning compressor
No TPTP formula. May not be expressible in strict first order. Cars.kif 2051-2051 A air conditioner typically has a part air conditioning condenser
No TPTP formula. May not be expressible in strict first order. Cars.kif 2075-2075 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 25994-26002

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1494-1502


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