|
|
   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 | |
| (subclass Tracing SurfaceChange) | Mid-level-ontology.kif 3303-3303 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Tracing "追踪") | domainEnglishFormat.kif 58720-58720 | |
| (termFormat ChineseTraditionalLanguage Tracing "追踪") | domainEnglishFormat.kif 58719-58719 | |
| (termFormat EnglishLanguage Tracing "tracing") | domainEnglishFormat.kif 58718-58718 |
| antecedent |
|
|
| (=> (instance ?T Tracing) (exists (?P) (and (instance ?P Blueprint) (result ?T ?P)))) |
Mid-level-ontology.kif 3306-3311 |
|
|
|