Tracing |
appearance as argument number 1 |
(documentation Tracing EnglishLanguage "Any ContentDevelopment that results in a Blueprint.") | Mid-level-ontology.kif 3311-3311 | |
(subclass Tracing ContentDevelopment) | Mid-level-ontology.kif 3309-3309 | Tracing è una sottoclasse di SviluppoDelContenuto |
(subclass Tracing SurfaceChange) | Mid-level-ontology.kif 3310-3310 | Tracing è una sottoclasse di CambiamentoDiSuperficie |
appearance as argument number 2 |
(termFormat ChineseLanguage Tracing "追踪") | domainEnglishFormat.kif 58718-58718 | |
(termFormat ChineseTraditionalLanguage Tracing "追踪") | domainEnglishFormat.kif 58717-58717 | |
(termFormat EnglishLanguage Tracing "tracing") | domainEnglishFormat.kif 58716-58716 |
antecedent |
(=> (instance ?T Tracing) (exists (?P) (and (instance ?P Blueprint) (result ?T ?P)))) |
Mid-level-ontology.kif 3313-3318 |