Tracing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Tracing ContentDevelopment)	Mid-level-ontology.kif 3921-3921	Tracing is a subclass of content development
(subclass Tracing SurfaceChange)	Mid-level-ontology.kif 3922-3922	Tracing is a subclass of surface change
(documentation Tracing EnglishLanguage "Any ContentDevelopment that results in a Blueprint.")	Mid-level-ontology.kif 3923-3923	Tracing is a subclass of surface change

appearance as argument number 2

(termFormat EnglishLanguage Tracing "tracing")	domainEnglishFormat.kif 58717-58717
(termFormat ChineseTraditionalLanguage Tracing "追踪")	domainEnglishFormat.kif 58718-58718
(termFormat ChineseLanguage Tracing "追踪")	domainEnglishFormat.kif 58719-58719

antecedent

(=>
    (instance ?T Tracing)
    (exists (?P)
        (and
            (instance ?P Blueprint)
            (result ?T ?P))))

If X is an instance of tracing, then there exists Y such that Y is an instance of blueprint and Y is a result of X