Edge details

Results from ConceptNet 5.7

Source: Open Mind Common Sense contributors
en formal logic
― UsedFor ⟶
Weight: 1.0
en prove theorems Source: Open Mind Common Sense contributors pavlos