| Tracing(tracing) | | tracing |
| appearance as argument number 1 |
|
|
| (documentation Tracing EnglishLanguage "Any ContentDevelopment that results in a Blueprint.") | Mid-level-ontology.kif 3377-3377 | |
| (subclass Tracing ContentDevelopment) | Mid-level-ontology.kif 3375-3375 | Tracing is a subclass of content development |
| (subclass Tracing SurfaceChange) | Mid-level-ontology.kif 3376-3376 | Tracing is a subclass of surface change |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Tracing "追踪") | domainEnglishFormat.kif 58755-58755 | |
| (termFormat ChineseTraditionalLanguage Tracing "追踪") | domainEnglishFormat.kif 58754-58754 | |
| (termFormat EnglishLanguage Tracing "tracing") | domainEnglishFormat.kif 58753-58753 |
| antecedent |
|
|
| (=> (instance ?T Tracing) (exists (?P) (and (instance ?P Blueprint) (result ?T ?P)))) |
Mid-level-ontology.kif 3379-3384 |
|
|
|
|