Blueprint(蓝图)![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13229-13230 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2941-2941 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3048-3048 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3052-3052 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3051-3051 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3050-3050 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13228-13228 | 蓝图 是 图标 的 subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11411-11411 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11410-11410 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11409-11409 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13232-13238 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21182-21191 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3313-3318 |
![]() |
![]() |