DermatographicUrticaria
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 336-337 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 335-335 | Crankshaft 是 轴 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 341-341 | Crankshaft typically 是 Crankcase 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 338-338 | Crankshaft typically 是 IntermittentCombustionEngine 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 342-342 | Crankcase typically 有 part Crankshaft |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 339-339 | IntermittentCombustionEngine typically 有 part Crankshaft |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64716-64716 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2568-2586 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 349-361 |
consequent |