ExtensorDigitiMinimiMuscle
TransitiveRelation
|
|
Sigma KEE - TransitiveRelation
TransitiveRelation
|
A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.
|
Show full definition (without tree view)
Show full definition (with tree view)
|