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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MetallicAlloy

Sigma KEE - MetallicAlloy
MetallicAlloy(metallic alloy)fusible_metal, hard_solder, silver_solder, soft_solder, solder

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8941-8943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31653-31653 roomTempState metallic alloy and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8940-8940 Metallic alloy is a subclass of mixture

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8965-8965 Brass is a subclass of metallic alloy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8955-8955 Steel is a subclass of metallic alloy
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37265-37265
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37264-37264
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37263-37263

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


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

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


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


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