Bolt
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4162-4170 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4160-4160 | Bolt 是 附着装置 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4161-4161 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4172-4180 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4205-4213 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4191-4199 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4299-4305 |