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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Machine
Machine(Maquina)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3634-3635
No TPTP formula. May not be expressible in strict first order. Merge.kif 16114-16116
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11412-11412
No TPTP formula. May not be expressible in strict first order. Merge.kif 16113-16113 Maquina e' uma sub-classe de Aparelho

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3704-3704 Furniture e' disjunto de Maquina
No TPTP formula. May not be expressible in strict first order. Economy.kif 1784-1784 industryProductType MachineryManufacturing and Maquina
No TPTP formula. May not be expressible in strict first order. Cars.kif 2028-2028 AirConditioningCondenser e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. Cars.kif 2052-2052 AirConditioningEvaporator e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. Cars.kif 5153-5153 GasCompressor e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. Cars.kif 1190-1190 Generator e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25568-25568 IceMachine e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. Economy.kif 5986-5986 Lathe e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. engineering.kif 742-742 Motor e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. Economy.kif 6013-6013 Planer e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1947-1947 VendingMachine e' uma sub-classe de Maquina
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1060-1060
No TPTP formula. May not be expressible in strict first order. english_format.kif 1331-1331
No TPTP formula. May not be expressible in strict first order. french_format.kif 738-738
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 269-269
No TPTP formula. May not be expressible in strict first order. terms-it.txt 272-272
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2422-2422
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 690-690
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 274-274
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 308-308
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 759-759
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 273-273

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16145-16153
No TPTP formula. May not be expressible in strict first order. Merge.kif 16118-16126

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1439-1444
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. naics.kif 5421-5443
No TPTP formula. May not be expressible in strict first order. naics.kif 4644-4660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29521-29523


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



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