Headlight |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3075-3076 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4719-4719 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3074-3074 | Headlight e' uma sub-classe de VehicleLight |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27720-27720 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27719-27719 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27718-27718 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3078-3083 |
|