Blueprint
|
|
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 | Blueprint is a subclass of 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 |
|