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

KB Term:  Term intersection
English Word: 

Sigma KEE - Brass
Brass(brass)
brass, latten

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


(subclass Brass MetallicAlloy) Mid-level-ontology.kif 10305-10305 Brass is a subclass of metallic alloy
(documentation Brass EnglishLanguage "A MetallicAlloy made from Copper and Zinc.") Mid-level-ontology.kif 10306-10306 Brass is a subclass of metallic alloy
(externalImage Brass "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Metal_cube_brass.jpg") pictureList.kif 4561-4561 Brass is a subclass of metallic alloy

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


(termFormat EnglishLanguage Brass "brass") domainEnglishFormat.kif 11843-11843
(termFormat ChineseTraditionalLanguage Brass "黃銅") domainEnglishFormat.kif 11844-11844
(termFormat ChineseLanguage Brass "黄铜") domainEnglishFormat.kif 11845-11845

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


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))		 Mid-level-ontology.kif 10308-10315 If X is an instance of brass, then there exist Y, Z such that Y is an instance of copper, Z is an instance of zinc, Y is a part of X, and Z is a part of X

statement
-------------------------


(equal 3
    (MohsScaleFn Brass))		 Mid-level-ontology.kif 10616-10616 equal 3 and The Mohs Scale of brass is


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