| Tracing(tracing) | | tracing |
| appearance as argument number 1 |
|
|
| (documentation Tracing EnglishLanguage "Any ContentDevelopment that results in a Blueprint.") | Mid-level-ontology.kif 3304-3304 | |
| (subclass Tracing ContentDevelopment) | Mid-level-ontology.kif 3302-3302 | Tracing is a subclass of content development |
| (subclass Tracing SurfaceChange) | Mid-level-ontology.kif 3303-3303 | Tracing is a subclass of surface change |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Tracing "追踪") | domainEnglishFormat.kif 58762-58762 | |
| (termFormat ChineseTraditionalLanguage Tracing "追踪") | domainEnglishFormat.kif 58761-58761 | |
| (termFormat EnglishLanguage Tracing "tracing") | domainEnglishFormat.kif 58760-58760 |
| antecedent |
|
|
| (=> (instance ?T Tracing) (exists (?P) (and (instance ?P Blueprint) (result ?T ?P)))) |
Mid-level-ontology.kif 3306-3311 |
|
|
|
|