Blueprint(藍圖) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13230-13231 | |
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 13229-13229 | 子類 藍圖 and Icon |
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 13233-13239 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21183-21192 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3313-3318 |