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 e' uma sub-classe de Desenvolvimento de Conteudo |
(subclass Tracing SurfaceChange) | Mid-level-ontology.kif 3303-3303 | Tracing e' uma sub-classe de Mudanca Superficial |
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 |