| Tracing(tracing) | | tracing |
| appearance as argument number 1 |
|
|
| (documentation Tracing EnglishLanguage "Any ContentDevelopment that results in a Blueprint.") | Mid-level-ontology.kif 3773-3773 | |
| (subclass Tracing ContentDevelopment) | Mid-level-ontology.kif 3771-3771 | Tracing is a subclass of content development |
| (subclass Tracing SurfaceChange) | Mid-level-ontology.kif 3772-3772 | 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 3775-3780 |
|
|
|
|