SUMO View all facts Glossary Help |
unparented > traverses |
traverses comparison table |
Subject | documentation | have axiom |
---|---|---|
unparented | ||
traverses | (traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and penetrates are subrelations of traverses | (=> |
Next unparented: true Up: unparented Previous unparented: synonymousInternalConcept