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


KB Term:  Term intersection
English Word: 

Sigma KEE - MetalArtifact
MetalArtifact

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


(subclass MetalArtifact Artifact) Society.kif 578-578 MetalArtifact is a subclass of artifact
(relatedInternalConcept MetalArtifact Metal) Society.kif 1399-1399 MetalArtifact is internally related to metal

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


(subclass ZincArtifact MetalArtifact) Society.kif 576-576 ZincArtifact is a subclass of MetalArtifact
(subclass Steel MetalArtifact) Society.kif 1413-1413 Steel is a subclass of MetalArtifact

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


(=>
    (instance ?ITEM MetalArtifact)
    (or
        (instance ?ITEM Metal)
        (exists (?PART)
            (and
                (instance ?PART Metal)
                (or
                    (part ?PART ?ITEM)
                    (component ?PART ?ITEM))))))		 Society.kif 1401-1410 If X is an instance of MetalArtifact, then X is an instance of metal or there exists Y such that Y is an instance of metal and Y is a part of X or Y is a component of X


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