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


KB Term:  Term intersection
English Word: 

Sigma KEE - PartInspection
PartInspection( part inspection)

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


(subclass PartInspection Investigating) Economy.kif 2048-2048 Part inspection is a subclass of investigating
(documentation PartInspection EnglishLanguage "A PartInspection is a Process in Manufacture (ing) in which individual components of a Device or a Product are physically and systematically examined to ensure that the manufactured parts meet the required specifications and quality standards.[wikipedia]") Economy.kif 2049-2052 Part inspection is a subclass of investigating

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


(termFormat EnglishLanguage PartInspection " part inspection") domainEnglishFormat.kif 65916-65916

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


(=>
    (and
        (instance ?X PartInspection)
        (patient ?X ?P)
        (instance ?P SelfConnectedObject))
    (exists (?A ?M)
        (and
            (part ?P ?A)
            (instance ?A Artifact)
            (instance ?M Manufacture)
            (result ?M ?A)
            (subProcess ?X ?M))))		 Economy.kif 2054-2065 If X is an instance of part inspection, Y is a patient of X, and Y is an instance of self connected object, then there exist Z, W such that Y is a part of Z, Z is an instance of artifact, W is an instance of manufacture, Z is a result of W, and X is a subprocess of W
(=>
    (instance ?X PartInspection)
    (hasPurpose ?X
        (exists (?O ?P)
            (and
                (instance ?O SelfConnectedObject)
                (patient ?X ?O)
                (instance ?P Proposition)
                (refers ?P ?O)
                (modalAttribute
                    (conforms ?O ?P) Necessity)))))		 Economy.kif 2067-2077 If X is an instance of part inspection, then X has the purpose there exist Y, Z such that Y is an instance of self connected object, Y is a patient of X, Z is an instance of proposition, Z includes a reference to Y, and the statement Y conforms to Z has the modal force of necessity


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